Comments on Kornfeld's Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy
Abstract
The search strategy of standard Prolog can lead to a situation in which a predicate has to be evaluated in circumstances where it has an infeasibly large number of Instantiations. The work by Kornfeld [8] addressed this important problem by means of an extension of unification which allows Prolog to be augmented by what is essentially a (non-standard) equality theory. This paper uses the notion of the general procedure introduced by van Emden and Lloyd [12] to formalize Kornfeld's work. In particular, the formalization is used to make a careful analysis and evaluation of Kornfeld's solution to the problem of delayed evaluation.
Cite
Text
Elcock and Hoddinott. "Comments on Kornfeld's Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy." AAAI Conference on Artificial Intelligence, 1986.Markdown
[Elcock and Hoddinott. "Comments on Kornfeld's Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy." AAAI Conference on Artificial Intelligence, 1986.](https://mlanthology.org/aaai/1986/elcock1986aaai-comments/)BibTeX
@inproceedings{elcock1986aaai-comments,
title = {{Comments on Kornfeld's Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy}},
author = {Elcock, Edward W. and Hoddinott, P.},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {1986},
pages = {766-777},
url = {https://mlanthology.org/aaai/1986/elcock1986aaai-comments/}
}