C

cl-unification

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

Name Last update
docs/html Loading commit data...
lib-dependent Loading commit data...
test Loading commit data...
.gitignore Loading commit data...
ACKNOWLEDGEMENTS Loading commit data...
ACKNOWLEDGEMENTS.md Loading commit data...
COPYING Loading commit data...
ChangeLog Loading commit data...
INSTALLATION Loading commit data...
INSTALLATION.md Loading commit data...
README Loading commit data...
README.md Loading commit data...
TIMESTAMP Loading commit data...
apply-substitution.lisp Loading commit data...
cl-unification-lib.asd Loading commit data...
cl-unification-pkg.lisp Loading commit data...
cl-unification-test.asd Loading commit data...
cl-unification.asd Loading commit data...
cl-unification.system Loading commit data...
lambda-list-parsing.lisp Loading commit data...
match-block.lisp Loading commit data...
substitutions.lisp Loading commit data...
templates-hierarchy.lisp Loading commit data...
unifier.lisp Loading commit data...
variables.lisp Loading commit data...