COMP 426 Automated Reasoning
Lecture 20: Unification (2)

We continue our discussion of unification. In particular, we will descibe an algorithm to for unification and solve the set of constraints. We will also discuss implementation issues such as modeling existential variables as global variables in an implementation and provide an implementation of unification.

• Reading: in preparation
• Code: in preparation
• Previous lecture: Week 10
• Next lecture: Week 12

[ Home | Schedule | Assignments | Projects | Handouts | Software | Overview ]

bp@cs.mcgill.ca
Brigitte Pientka