Correcting a Widespread Error in Unification Algorithms

  title={Correcting a Widespread Error in Unification Algorithms},
  author={Peter Norvig},
  journal={Softw., Pract. Exper.},
The unification of two patterns both containing variables is an ubiquitous operation in Logic Programming and in many Artificial Intelligence applications. Thus, many texts present unification algorithms. Unfortunately, at least seven of these presentations are incorrect. The common error occurs when logic variables are represented as binding lists; implementations that destructively update variable cells do not manifest the error. This note gives the examples that uncover the error and… CONTINUE READING

From This Paper

Topics from this paper.


Publications citing this paper.


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

Common Lisp

  • W. L. Hennessey
  • McGraw-Hill
  • 1989


  • J. Slage, M. Gini
  • S. Shapiro ed., The Encyclopedia of Artificial…
  • 1988

AI in Practice: examples in Pop-11

  • A. Ramsey, R. Barrett
  • Ellis Horwood, Chichester, England
  • 1987

Common LispCraft

  • R. Wilensky
  • Norton, NY
  • 1986

MRS source code, version 7.24, function unifyp,

  • M. R. Genesereth
  • 1985

Similar Papers

Loading similar papers…