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
Sort:
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: