stuhlmueller + proving 1
PTTP - Prolog Technology Theorem Prover
may 2007 by stuhlmueller
PTTP is an implementation of the model elimination theorem-proving procedure that extends Prolog to the full first-order predicate calculus.
prolog
theorem
proving
logic
lisp
compsci
may 2007 by stuhlmueller