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 realized then 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 in-
terpretations. In fact, there are severa ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month, and much more.