tweak to use gprolog
don't find proofgeneral useful