Uses of Package
jtp.gmp

Packages that use jtp.gmp

jtp.demod
jtp.frame.fc
jtp.gmp	Provides a knowledge store for Clauses and Generalized Modus Ponens reasoning capability.

Classes in jtp.gmp used by jtp.demod

ClauseOrientation
A view of a Clause in which one of the Literals in the clause has been selected as a head.

Classes in jtp.gmp used by jtp.frame.fc

ClauseOrientation
A view of a Clause in which one of the Literals in the clause has been selected as a head.

Classes in jtp.gmp used by jtp.gmp

ClauseOrientation
A view of a Clause in which one of the Literals in the clause has been selected as a head.

ModusPonensProofStep
A proof step representing a Generalized Modus Ponens inference made through backward-chaining.