From marcoxa at cs.nyu.edu Wed Jul 19 22:32:30 2006 From: marcoxa at cs.nyu.edu (Marco Antoniotti) Date: Wed, 19 Jul 2006 18:32:30 -0400 Subject: [cl-unification-devel] Fixed a few problems with the unification code. In-Reply-To: <07b9ab3f048f2105ce7b1c16a3715f7e@cs.nyu.edu> References: <1150288335.11197.30.camel@localhost.localdomain> <13e2f930db84c40ef473a34eb493a197@cs.nyu.edu> <1150473099.11197.75.camel@localhost.localdomain> <1150641533.24454.6.camel@localhost.localdomain> <07b9ab3f048f2105ce7b1c16a3715f7e@cs.nyu.edu> Message-ID: 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 From jewel at subvert-the-dominant-paradigm.net Fri Jul 21 05:26:56 2006 From: jewel at subvert-the-dominant-paradigm.net (John Leuner) Date: Fri, 21 Jul 2006 10:56:56 +0530 Subject: [cl-unification-devel] Fixed a few problems with the unification code. In-Reply-To: References: <1150288335.11197.30.camel@localhost.localdomain> <13e2f930db84c40ef473a34eb493a197@cs.nyu.edu> <1150473099.11197.75.camel@localhost.localdomain> <1150641533.24454.6.camel@localhost.localdomain> <07b9ab3f048f2105ce7b1c16a3715f7e@cs.nyu.edu> Message-ID: <1153459616.23666.1.camel@localhost.localdomain> 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 at common-lisp.net > http://common-lisp.net/mailman/listinfo/cl-unification-devel