toGoals
Turns this term into the Cursor of goals StateGoalSelection iterates over: unfoldGoals flattens conjunctions, and every variable goal is wrapped into call(X) so it goes through the ISO callability check before execution.
Turns this term into the Cursor of goals StateGoalSelection iterates over: unfoldGoals flattens conjunctions, and every variable goal is wrapped into call(X) so it goes through the ISO callability check before execution.