Some programs require backtracking out of one branch of the program/data structure tree. Jackson adds three new commands: a posit ... admit ... for restartable blocks with quit..if.. to restart the posit block and enter the admit block
Related Topics
Topic: backtracking (30 items)