Skip to content
C

cl-unification

Project ID: 245

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