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