test-solve/it.unibo.tuprolog.solve/PrologStandardExampleTheories/catchAndThrowTheoryExampleNotableGoalToSolution

catchAndThrowTheoryExampleNotableGoalToSolution

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

Notable catchAndThrowTheoryExample request goals and respective expected Solutions

?- catch(p, X, true).
?- catch(q, C, true).
?- catch(throw(exit(1)), exit(X), true).
?- catch(throw(true), X, X).
?- catch(throw(fail), X, X).
?- catch(throw(f(X, X)), f(X, g(X)), true).
?- catch(throw(1), X, (fail; X)).
?- catch(throw(fail), true, G).