From: Mark Thom <markjordanthom@gmail.com>
Date: Thu, 6 Sep 2018 12:32:22 +0000 (-0300)
Subject: be more efficient in (,)/3 clause, correct (;)/3
X-Git-Tag: v0.8.110~391^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=6d0ddc1183772021069f8cc666e8d5de106d14eb;p=scryer-prolog.git

be more efficient in (,)/3 clause, correct (;)/3
---

diff --git a/src/prolog/lib/builtins.pl b/src/prolog/lib/builtins.pl
index feb04e44..5e82723a 100644
--- a/src/prolog/lib/builtins.pl
+++ b/src/prolog/lib/builtins.pl
@@ -129,31 +129,33 @@ comma_errors(G1, G2, B) :- '$call_with_default_policy'(','(G1, G2, B)).
 
 :- non_counted_backtracking (,)/3.
 ','(!, CF, B) :- compound(CF),
-		 '$call_with_default_policy'(CF =.. [',', G1, G2]),
+		 '$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.
 ','(G, CF, B) :- compound(CF),
-		 '$call_with_default_policy'(CF =.. [',', G1, G2]), !, G,
-		  '$call_with_default_policy'(comma_errors(G1, G2, B)).
+		 '$call_with_default_policy'(CF = ','(G1, G2)), !, G,
+		 '$call_with_default_policy'(comma_errors(G1, G2, B)).
 ','(G, Atom, B) :- Atom == !, !, G, '$set_cp'(B).
 ','(G1, G2, _)  :- G1, G2.
 
 ;(G1, G2) :- '$get_b_value'(B), ;(G1, G2, B).
 
 :- non_counted_backtracking (;)/3.
-;(G1, G4, B) :- compound(G1), G1 = ->(G2, G3), (G2 -> G3 ; '$set_cp'(B), G4).
-;(G1, G2, B) :- G1 == !, '$set_cp'(B), call(G2).
-;(G1, G2, B) :- G2 == !, call(G2), '$set_cp'(B).
+;(G1, G4, B) :- compound(G1),
+		'$call_with_default_policy'(G1 = ->(G2, G3)),
+		(G2 -> G3 ; '$set_cp'(B), G4).
+;(G1, G2, B) :- G1 == !, '$set_cp'(B), G2.
+;(G1, G2, B) :- G2 == !, G1, '$set_cp'(B).
 ;(G, _, _) :- G.
 ;(_, G, _) :- G.
 
-G1 -> G2 :- '$get_b_value'(B), ->(G1, G2, B).
+G1 -> G2 :- '$get_b_value'(B), '$call_with_default_policy'(->(G1, G2, B)).
 
 :- non_counted_backtracking (->)/3.
-->(G1, G2, B) :- G2 == !, call(G1), !, '$set_cp'(B).
-->(G1, G2, B) :- call(G1), '$set_cp'(B), call(G2).
+->(G1, G2, B) :- G2 == !, G1, '$set_cp'(B).
+->(G1, G2, B) :- G1, '$set_cp'(B), G2.
 
 % univ.