haltTestingGoalsToSolutions

Halt primitive request goals and respective expected Solutions

Contained requests:

?- halt.
?- catch(halt, _, true).
?- catch(catch(throw(something), _, halt), _, true).