deleting the PrologEngineManager class
changing the semantics of oneSolution(). Adding also the oneSolutionOrThrow() method