From 8de3498e07cfb155dac28bd85e9e88dd2147078b Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Tue, 10 Oct 2023 19:54:12 +0200 Subject: [PATCH] use round brackets around operators to form valid Prolog terms --- src/lib/clpz.pl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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 -- 2.54.0