;;;; Test input for unify functions. ;;;; ;;;; File: unify.in ;;;; Author: CS 51 (Bob Walton) ;;;; Version: 1 (load "unify.lsp") ---> ;; Loading file unify.lsp ... ;; Loading of file unify.lsp is finished. T (subin '(this is 'x 'y) '((x an) (y s-expression))) ---> (THIS IS AN S-EXPRESSION) (subin '(('x * 'y) + ('x * 'z)) '((x 5) (z 10))) ---> ((5 * 'Y) + (5 * 10)) (subin '(('x * 'y) + ('x * 'z)) '((x 'w) (w 'p) (q 10) (p 5) (z 'q))) ---> ((5 * 'Y) + (5 * 10)) (variables '('x + ('y * 'z))) ---> (X Y Z) (variables '(('w * 'x) + ('y * 'z))) ---> (W X Y Z) (generate-variable-name) ---> 1 (generate-variable-name) ---> 2 (unify '('x is a man) '(bob is a man)) ---> ((X BOB)) (unify '('x + 'y) '(5 + 'x)) ---> ((Y 5) (X 5)) (unify '('x + 'y) '(5 + 'w)) ---> ((Y 'W) (X 5)) (unify '('x + 'y) '(5 + 'w) '((w 'x))) ---> ((Y 5) (X 5) (W 'X)) (unify '('x + 'w) '(5 + 'y) '((w 'x))) ---> ((Y 5) (X 5) (W 'X)) (unify '5 '6) ---> FAIL (unify '('x + 'x) '(5 + 6)) ---> FAIL (unify '('x is a woman) '(bob is a man)) ---> FAIL