adding a version class
adding a bit of syntactic sugar to high order query methods in the PrologEngine classes