add subst function and occurs check
unify alpha version ok, eliminate rule needs revision
add more types for prolog constructs
Merge pull request #1 from xiaohe27/unification

Unification