Creates the default TuPrologIDEModel implementation, whose asynchronous resolution steps (solve, solveAll, next, nextAll) are dispatched onto executor.