I tried the code from CVS with SBCL and the following test file, compile-file succeeded and the code seems to work correctly.
Thanks Marco
John
(defclass test1 () ((a :initarg :a :accessor a) (b :initarg :b :accessor b))) (defun test () ;plain list (let ((env (unify:unify '(foo (bar baz) quux) '(foo (bar ?x) ?y) ))) (unify:find-variable-value '?x env) ) ; class test1 (let ((env (unify:unify #T(test1 a ?x b "woot") (make-instance 'test1 :a "whaa" :b "woot") ))) (unify:find-variable-value '?x env) )
(unify:find-variable-value '?a (unify:unify #T (list ?a ?b ?c) '(1 2 3))) )
On Wed, 2006-07-19 at 18:32 -0400, Marco Antoniotti wrote:
Hi
I just made some changes to the unification code. Please check the CVS log for details and try out the new version (which should fix the MAKE-LOAD-FORM problem in SBCL among other things)
Cheers
Marco
cl-unification-devel site list cl-unification-devel@common-lisp.net http://common-lisp.net/mailman/listinfo/cl-unification-devel