Object
dispatch(PJProlog _engine, Object[] args)
<G extends Term<?>,S extends Term<?>>PrologSolution<G,S>
solveNext()