(3)Development of a Java-MGTP System and Advanced Inference Mechanism

[Software Functions]

Java-CMGTP is a theorem proving system for first-order logic based on
the model generation method. It is able to manipulate negative
constraints in addition to positive constraints. 
Search tree can be greatly pruned by negative constrains.
This distribution contains two software:

- Java-CMGTP: CMGTP in Java

- Proof Tree Visualization(PTV) System: An GUI system for Java-CMGTP.
The software supports real time proof tree visualization, proof tree
navigation, problem input method, and so on.

[Necessary Environments]

The required environment is the system running Java.
The software were tested on Windows95/NT running JDK1.1.6 and
Solaris2.5.1 running JDK1.1.6.

[Quantity of the software and file configuration]

The top-level directory should contain the following sub-directories
after extraction.

    Java-CMGTP/
	Files containing source programs for Java-CMGTP
    PTV/
        Files containing source programs for PTV
    documents/
        a Manual and its source files.
    Readme-J: (Japanese)
    Readme-E: (English)

[FTP]

• README
• Program and Documents [659K]