- prolog_cut_to(+Choice)
-
Prunes all choice points created since Choice. Can be used
together with prolog_current_choice/1
to implement ancestral cuts. This predicate is in the hackers
corner because it should not be used in normal Prolog code. It may be
used to create new high level control structures, particularly for
compatibility purposes.
