CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

UNIFY: Portable recursive and iterative unification implementations.

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: Author(s): Mark Kantrowitz Keywords: Authors!Kantrowitz, CMU, Lisp!Matchers, Matchers, Unification References: ?
Last Web update on Mon Feb 13 10:30:15 1995