The Prolog goal (as unparsed text) that solve/solveAll will parse and resolve against the current solver.