Commit 73dbf452 authored by Marco Antoniotti's avatar Marco Antoniotti

Added .md files.

parent 283c94d3
ACKNOWLEDGEMENTS
================
A lot of people deserve thanks for improving CL-UNIFICATION.
The Lisp NYC group has endured presentations of this code and provided
feedback.
The following individuals have provided feedback and (precious) bug
fixes.
Boldyrev, Ivan
Brown, Robert
Korablin, Vladimir V.
Leuner, John
McManus, Russell
Scott, Peter
Takagi, Masayuki
Werner, Norman
CL-UNIFICATION INSTALLATION
===========================
There are several ways to install CL-UNIFICATION.
Quicklisp
---------
CL-UNIFICATION is in quicklisp. The easiest way to install it is by
issuing
(ql:quickload "CL-UNIFICATION")
The package comes with a MK:DEFSYSTEM definition:
"cl-unification.system".
Issuing
(mk:load-system "CL-UNIFICATION")
or
(mk:compile-system "CL-UNIFICATION")
will make the UNIFY package available.
ASDF
----
There is also an ASDF system definition for those who use this system.
Issuing
(asdf:oos 'asdf:load-op "CL-UNIFICATION")
should make the library available in your environment.
### ASDF-INSTALL
If your CL implementation is ASDF-INSTALL aware, you should also be
able to just say
(asdf-install:install "CL-UNIFICATION")
provided that the package is unpacked in an ASDF-INSTALL known
directory.
Enjoy
CL-UNIFICATION
==============
Marco Antoniotti (c) 2004-2016
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.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment