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

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.

A NOTE ON FORKING

Of course you are free to fork the project subject to the current licensing scheme. However, before you do so, I ask you to consider plain old "cooperation" by asking me to become a developer. It helps keeping the entropy level at an acceptable level.

Enjoy.