jtp.gmp

Classes  ClauseOrientation ClauseOrientationKB ModusPonensProofStep ModusPonensReasoner ModusPonensRecycler Utils