HOMEWORK 7.


1. Implement the unification algorithm discussed on the lecture.

You can not use the predicate unify_with_occurs_check and 
Prolog flag setting for occur_check in this exercise.