TuPrologSolveQuery

constructor()