test-solve/it.unibo.tuprolog.solve/TestingClauseTheories/catchTestingGoalsToSolutions

catchTestingGoalsToSolutions

val catchTestingGoalsToSolutions: List<Pair<Struct, List<Solution>>>

Catch primitive request goals and respective expected Solutions

Contained requests:

?- catch(true, _, fail).
?- catch(catch(throw(external(deepBall)), internal(I), fail), external(E), true).
?- catch(throw(first), X, throw(second)).
?- catch(throw(hello), X, true).
?- catch((throw(hello), fail), X, true).