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