Page 1 of 1
Error report: unify and '
Posted: Thu Jan 27, 2011 4:49 pm
by Kazimir Majorinc
Code: Select all
> (unify '((quote X) (quote Y) (quote Z)) '((quote (a a)) (quote (b b)) (quote (c c))))
((X (a a)) (Y (b b)) (Z (c c)))
> (unify '('X 'Y 'Z) '('(a a) '(b b) '(c c)))
nil
>
Re: Error report: unify and '
Posted: Thu Jan 27, 2011 9:00 pm
by Lutz
In the current 'unify' implementation quoted expressions like: 'X or '(a a) are seen as atomic and not recursed into, but (quote X) is seen as a list. The 'unify' function doesn't know anything about LISP evaluation rules, it just sees symbolic expressions.