Here are some links which are pertinent to the CL-UNIFICATION project.
- common-lisp.net: the host site.
- CLOCC: the site hosting MK:DEFSYSTEM.
- Structure and Interpretation of Computer Programs: the SICP site, where inspiration for the unifier can be found.
- Paradigms of Artificial Intelligence Programming: the PAIP site, where more inspiration for the unifier can be found.
Questions? Queries? Suggestions? Comments? Please direct them at me.