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.