CMU Artificial Intelligence Repository
Plaisted: Theorem Prover in Prolog
areas/reasonng/atp/systems/plaisted/
This directory contains Plaisted's theorem prover in Prolog. It is
based on the simplified problem reduction format.
Origin:
src.doc.ic.ac.uk:packages/prolog-pd-software/ (146.169.2.1)
Version: October 1988
Requires: Prolog
Ports: Written in C Prolog.
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Author(s): David A. Plaisted
Keywords:
Authors!Plaisted, Automated Reasoning, Prolog!Code,
Reasoning!Automated Reasoning, Theorem Proving
References: ?
Last Web update on Mon Feb 13 10:27:38 1995
AI.Repository@cs.cmu.edu