Unification: A Multidisciplinary Survey

  title={Unification: A Multidisciplinary Survey},
  author={Kevin Knight},
  journal={ACM Comput. Surv.},
The unification problem and several variants are presented. Various algorithms and data structures are discussed. Research on unification arising in several areas of computer science is surveyed; these areas include theorem proving, logic programming, and natural language processing. Sections of the paper include examples that highlight particular uses of unification and the special problems encountered. Other topics covered are resolution, higher order logic, the occur check, infinite terms… CONTINUE READING
Recent Discussions
This paper has been referenced on Twitter 1 time over the past 90 days. VIEW TWEETS


Publications citing this paper.


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

A lattice theoretic approach to computation based on a calculus of partially ordered type structures

  • H. AiT-KACI
  • Ph.D. dissertation. Univ. of Pennsylvania…
  • 1984
Highly Influential
7 Excerpts

First order unification in an equational theory

  • M. FAY
  • Proceedings of the 4th Workshop on Automated…
  • 1979
Highly Influential
8 Excerpts

Automatic theorem proving with equality substitutions and mathematical induction

  • Mach. Zntell. 3. Elsevier, New York.
  • 1968
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…