testStaticSolverFactoryForProlog

If Expectations.prologShouldWork, tests that Solver.prolog resolves to it.unibo.tuprolog.solve.prolog.PrologSolver; otherwise tests that the lookup is unavailable.