Principles and Practice of Uni cation

  title={Principles and Practice of Uni cation},
  author={FactoringSTEVEN and Dawson},
  • FactoringSTEVEN, Dawson
  • Published 1996
The eeciency of resolution-based logic programming languages, such as Prolog, depends critically on selecting and executing sets of applicable clause heads to resolve against subgoals. Traditional approaches to this problem have focused on using indexing to determine the smallest possible applicable set. Despite their usefulness, these approaches ignore the nondeterminism inherent in many programming languages to the extent that they do not attempt to optimize execution after the applicable set… CONTINUE READING
Highly Influential
This paper has highly influenced 12 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS


Publications citing this paper.
Showing 1-10 of 170 extracted citations


Publications referenced by this paper.
Showing 1-10 of 20 references

Uni cation revisited

  • Lassez, J.-L., M. Maher, K. Mariott
  • Foundations of
  • 1988
Highly Influential
4 Excerpts

Towards e ective evaluation of general logic programs

  • W. Chen, D. S. Warren
  • Tech.
  • 1993
1 Excerpt

Similar Papers

Loading similar papers…