CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

HIPER: Term rewriting E-completion system

This directory contains the HIPER term rewriting system.

Version: 1.0 (28-FEB-92) Requires: Common Lisp Ports: AKCL Copying: If you are using HIPER, please send a mail message to CD-ROM: Prime Time Freeware for AI, Issue 1-1 Author(s): Jim Christian Keywords: Authors!Christian, E-Completion, HIPER, Lisp!Code, Logic, Term Rewriting, Unification References: ?
Last Web update on Mon Feb 13 10:27:30 1995