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

Merge pull request #667 from triska/clpb_taut

Browse Source 
omit internal attributes in residual goals when using taut/2
This commit is contained in:
Mark Thom
2020-08-11 15:54:34 -03:00
committed by GitHub
parent 8203eff47b ad8e2ad4f6
commit 5fa3b9f2fb
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/lib/clpb.pl
View File

@@ -1558,9 +1558,10 @@ sats([]) --> [].
sats([A|As]) --> [clpb:sat(A)], sats(As). sats([A|As]) --> [clpb:sat(A)], sats(As).
booleans([]) --> []. booleans([]) --> [].
booleans([B|Bs]) --> boolean(B), { del_clpb(B) }, booleans(Bs). booleans([B|Bs]) --> boolean(B), booleans(Bs).
boolean(Var) --> boolean(Var) -->
{ del_clpb(Var) },
( { get_attr(Var, clpb_omit_boolean, true) } -> [] ( { get_attr(Var, clpb_omit_boolean, true) } -> []
; [clpb:sat(Var =:= Var)] ; [clpb:sat(Var =:= Var)]
). ).