remove SCCCutPolicy panic, revise (;)/2 so that comma'ed cuts are handled properly (#361)

2020-04-18 20:10:53 -06:00
parent 3438f88c1e
commit 9daf290432
6 changed files with 45 additions and 21 deletions
--- a/src/prolog/lib/iso_ext.pl
+++ b/src/prolog/lib/iso_ext.pl
@@ -68,7 +68,8 @@ scc_helper(C, G, Bb) :-
    ; '$reset_block'(NBb),
      '$fail').
 scc_helper(_, _, Bb) :-
-    '$reset_block'(Bb), '$get_ball'(Ball),
+    '$reset_block'(Bb),
+    '$get_ball'(Ball),
    '$call_with_default_policy'(run_cleaners_with_handling),
    '$erase_ball',
    '$call_with_default_policy'(throw(Ball)).