CMU Artificial Intelligence Repository
UNIFY: Portable recursive and iterative unification
implementations.
lang/lisp/code/match/unify/
Two portable implementations of unification, one recursive and one
iterative.
Version: 15-OCT-90
Requires: Common Lisp
Ports: Fully portable.
Copying: Use, copying, distribution and modification permitted.
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Bug Reports: Mark Kantrowitz
Mailing List: lisp-utilities-request@cs.cmu.edu
Author(s): Mark Kantrowitz
Keywords:
Authors!Kantrowitz, CMU, Lisp!Matchers, Matchers,
Unification
References: ?
Last Web update on Mon Feb 13 10:30:15 1995
AI.Repository@cs.cmu.edu