CMU Artificial Intelligence Repository
HIPER: Term rewriting E-completion system
areas/reasonng/atp/systems/hiper/
This directory contains the HIPER term rewriting system.
Origin:
rascal.ics.utexas.edu
Version: 1.0 (28-FEB-92)
Requires: Common Lisp
Ports: AKCL
Copying: If you are using HIPER, please send a mail message to
jimc@rascal.ics.utexas.edu.
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
AI.Repository@cs.cmu.edu