Unification Examples

user=> (unify '(p x) '(p (a)))
((x (a)) (t t))

user=> (unify '(p x     (g x) (g (b)))
              '(p (f y) z     y))
((y (g (b)))
 (z (g (f (g (b)))))
 (x (f (g (b))))        (t t))

user=> (unify '(p x (f x)) '(p (f y) y))
nil