PLAISTED'S THEOREM PROVER
Written by David A. Plaisted
Contributed by Norbert Fuchs,
Department of Computer Science, Zurich University
Shelved on the 3rd of October 1988
This is a C Prolog program: a theorem prover based on the simplified
problem reduction format.
SIZE:
80 kilobytes.
CHECKED ON EDINBURGH-COMPATIBLE (POPLOG) PROLOG :
No.
PORTABILITY :
Contains a number of C-Prolog idiosyncrasies.
INTERNAL DOCUMENTATION :
A description of how to run the program, plus a number of examples.