CMU Artificial Intelligence Repository
RRL: Rewrite Rule Laboratory
areas/reasonng/atp/systems/rrl/
This directory contains RRL, the Rewrite Rule Laboratory, and
related systems.
Origin:
herky.cs.uiowa.edu:/public/rrl [128.255.28.100]
Version: RRL (24-JUL-92); SUTRA 1.0 (30-MAR-90);
Herky (5-MAY-93); Franz RRL (28-MAY-89)
Requires: Common Lisp, Franz Lisp
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Author(s): Hantao Zhang
Dept. of Computer Science
The University of Iowa
Iowa City, IA 52242
Keywords:
Authors!Zhang, Automated Reasoning, Lisp!Code, RRL,
Reasoning!Automated Reasoning, Theorem Proving
References: ?
Last Web update on Mon Feb 13 10:27:39 1995
AI.Repository@cs.cmu.edu