CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

Unifier: Interlisp and Common Lisp unification code.

lang/lisp/code/match/unifier/
Probably not completely portable, but a good start for somebody who wants to implement a portable Common Lisp implementation.
Version: 1-AUG-88 CD-ROM: Prime Time Freeware for AI, Issue 1-1 Author(s): Roberto Ghislanzoni Keywords: Authors!Ghislanzoni, Lisp!Matchers, Matchers, Unification References: ?
Last Web update on Mon Feb 13 10:30:14 1995
AI.Repository@cs.cmu.edu