Explore projects
-
The package is a full-blown library to "unify" arbitrary CL objects while constructing bindings for placeholders (unification variables) in a "template" sublanguage.
The project page is at http://common-lisp.net/project/cl-unification
Topics: Programming ...Updated