unify.pl: the destructive unification algorithm
unifyexamples.pl: examples to try the unification algorithm on
subsumes.pl: the subsumption algorithm