rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

use round brackets around operators to form valid Prolog terms

Browse Source
This commit is contained in:
Markus Triska
2023-10-10 19:54:12 +02:00
parent 26fdf83a48
commit 8de3498e07
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/lib/clpz.pl
View File

@@ -3537,9 +3537,9 @@ L #\ R :- (L #\/ R) #/\ #\ (L #/\ R).
d(D) that states D is 1 iff all subexpressions are defined. a(V) 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 means that V is an auxiliary variable that was introduced while
parsing a compound expression. a(X,V) means V is auxiliary unless 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 it is (==)/2 X, and a(X,Y,V) means V is auxiliary unless it is
or Y. l(L) means the literal L occurs in the described list, (==)/2 X or Y. l(L) means the literal L occurs in the described
and ls(Ls) means the literals Ls occur in the described list. list, and ls(Ls) means the literals Ls occur in the described list.
When a constraint becomes entailed or subexpressions become When a constraint becomes entailed or subexpressions become
undefined, created auxiliary constraints are killed, and the undefined, created auxiliary constraints are killed, and the