CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

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