From 57ddf64cba037a3327feda62e0fe7a2f55b6d459 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Thu, 6 Sep 2018 09:16:44 -0300 Subject: [PATCH] cut properly in first (,)/3 clause --- src/prolog/lib/builtins.pl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/prolog/lib/builtins.pl b/src/prolog/lib/builtins.pl index 2f939ef0..feb04e44 100644 --- a/src/prolog/lib/builtins.pl +++ b/src/prolog/lib/builtins.pl @@ -128,8 +128,9 @@ comma_errors(G1, G2, B) :- var(G1), throw(error(instantiation_error, (,)/2)). comma_errors(G1, G2, B) :- '$call_with_default_policy'(','(G1, G2, B)). :- non_counted_backtracking (,)/3. -','(!, CF, B) :- '$set_cp'(B), compound(CF), +','(!, CF, B) :- compound(CF), '$call_with_default_policy'(CF =.. [',', G1, G2]), + '$set_cp'(B), '$call_with_default_policy'(comma_errors(G1, G2, B)). ','(!, Atom, B) :- Atom == !, '$set_cp'(B). ','(!, G, B) :- '$set_cp'(B), G. -- 2.54.0