Lecture 6: Unification

Implementation of unification, closely following
the lecture notes.