Learn about the process of unification in logic and computer science, its applications in logic programming and type inference, and the basic unification algorithm.

7m read time From eli.thegreenplace.net
Post cover image
Table of contents
Pattern matchingUnificationAn algorithm for unificationEfficiency

Sort: