> (unify-test '(p x) '(p (a)))
((X A) (T . T))

> (unify-test '(p (a)) '(p x))
((X A) (T . T))

> (unify-test '(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))

> (unify-test '(p (g x) (h w)   w)
             '(p   y   (h y) (g (a))))
( (X A)  (W G (A))  (Y G (A))  (T . T))

> (unify-test '(p x (h (a)) (f x)) '(p (g y) y z))

( (Z F (G (H (A))))  (Y H (A))
  (X G (H (A)))      (T . T))

> (unify-test '(p (f x) (g (f (a))) x)
             '(p   y   (g    y)   (b)))
NIL
> (unify-test '(p x) '(p (a) (b)))
NIL
> (unify-test '(p x (f x)) '(p (f y) y))
NIL

Contents    Page-10    Prev    Next    Page+10    Index