The CL-UNIFICATION system.

The system contains the definitions for the 'unification' machinery.

cl-unification

CL-UNIFICATION
==============

Marco Antoniotti (c) 2004-2023
------------------------------

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.


cl-ppcre

A system used to conditionally load the CL-PPCRE Template.

This system is not required and it is handled only if CL-PPCRE is
available.  If it is, then the library provides the
REGULAR-EXPRESSION-TEMPLATE.

cl-unification

Upstream URL

Author

License

cl-ppcre-template

License:

Authors:

Dependencies:

cl-unification

License:

Authors:

Dependencies:

cl-unification-lib

Authors:

Dependencies:

cl-unification-test

Dependencies:

Dependencies (2)

Dependents (2)