CMU Artificial Intelligence Repository
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