Java Theorem Prover (JTP)
JTP
is a forward-chaining inference engine developed for DAML+OIL at
Stanford
100% Java, uses Jena
can read KIF axioms as well as DAML+OIL
in-progress example:
bushes.daml
Mike Dean
106 of 130