[cl-unification-devel] Fixed a few problems with the unification code.

[John Leuner]

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