runProlog

Solves query against theory using the prolog, single-threaded solver built via it.unibo.tuprolog.solve.prolog.PrologSolverFactory.solverWithDefaultBuiltins, and prints the elapsed time in milliseconds.