Unification Revisited

  title={Unification Revisited},
  author={Jean-Louis Lassez and Michael J. Maher and Kim Marriott},
  booktitle={Foundations of Logic and Functional Programming},
In the literature unification is often treated as a simple and straightforward matter, even though it is recognized as a deep and fundamental concept. However when a thorough presentation is attempted, it is then realized that the matter is fairly subtle and treacherous. For instance the notion of most general unifier and its property of being unique up to renaming are open to different interpretations. In fact there are several approaches to unification, based on different mathematical… CONTINUE READING
Recent Discussions
This paper has been referenced on Twitter 2 times over the past 90 days. VIEW TWEETS


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

Resolution d'Equations Dans Des Langages D'Ordre

  • G. Huet
  • (These d'Etat), Universite de Paris VII,
  • 1976
Highly Influential
6 Excerpts

The Art ofPROLOG

  • L. Sterling, E. Y. Shapiro
  • Induction of Relational Productions in the…
  • 1986

Formal Languages: Perspectives and Open Problems, (R. Book Ed.)

  • Lassez, J-L
  • Constraint Logic Programming, Proc. POPL'87,
  • 1980

Similar Papers

Loading similar papers…