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...

CL-UNIFICATION

Marco Antoniotti (c) 2004-2017

The directory containing this file you are reading should contain the code and the documentation of the CL-UNIFICATION package.

The package is a full-blown library to "unify" arbitrary CL objects while constructing bindings for placeholders (unification variables) in a "template" sublanguage.

Enjoy.