README 689 Bytes
Newer Older
1 2
CL-UNIFICATION
==============
Marco Antoniotti's avatar
Marco Antoniotti committed
3

4
Marco Antoniotti (c) 2004-2019
Marco Antoniotti's avatar
Marco Antoniotti committed
5
------------------------------
6 7 8 9 10 11 12 13

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.

14 15 16 17 18 19

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
20
plain old "cooperation" by asking me to become a developer.
21 22
It helps keeping the entropy level at an acceptable level.

23
Enjoy.