Correcting a Widespread Error in Unification Algorithms

@article{Norvig1991CorrectingAW,
  title={Correcting a Widespread Error in Unification Algorithms},
  author={Peter Norvig},
  journal={Softw., Pract. Exper.},
  year={1991},
  volume={21},
  pages={231-233}
}
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.

Citations

Publications citing this paper.

References

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

Common Lisp

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

Unification

  • 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…