README.md 397 Bytes
Newer Older
Marco Antoniotti's avatar
Marco Antoniotti committed
1
2
CL-UNIFICATION
==============
Marco Antoniotti's avatar
Marco Antoniotti committed
3
4
5

Marco Antoniotti (c) 2004-2017
------------------------------
Marco Antoniotti's avatar
Marco Antoniotti committed
6
7
8
9
10
11
12
13
14

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.