C
cl-unification
Topics:
Programming ...
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