Java Theorem Prover

JTP: An Object Oriented Modular Reasoning System

JTP is a forward-chaining inference engine developed for DAML+OIL at Stanford.