From: Markus Triska Date: Tue, 10 Oct 2023 17:54:12 +0000 (+0200) Subject: use round brackets around operators to form valid Prolog terms X-Git-Tag: remove~37^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=8de3498e07cfb155dac28bd85e9e88dd2147078b;p=scryer-prolog.git use round brackets around operators to form valid Prolog terms --- diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl index 2432d6b1..faad7c0f 100644 --- a/src/lib/clpz.pl +++ b/src/lib/clpz.pl @@ -3537,9 +3537,9 @@ L #\ R :- (L #\/ R) #/\ #\ (L #/\ R). d(D) that states D is 1 iff all subexpressions are defined. a(V) means that V is an auxiliary variable that was introduced while parsing a compound expression. a(X,V) means V is auxiliary unless - it is ==/2 X, and a(X,Y,V) means V is auxiliary unless it is ==/2 X - or Y. l(L) means the literal L occurs in the described list, - and ls(Ls) means the literals Ls occur in the described list. + it is (==)/2 X, and a(X,Y,V) means V is auxiliary unless it is + (==)/2 X or Y. l(L) means the literal L occurs in the described + list, and ls(Ls) means the literals Ls occur in the described list. When a constraint becomes entailed or subexpressions become undefined, created auxiliary constraints are killed, and the