Prolog Technology Theorem Prover