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

Merge pull request #450 from triska/master

Browse Source 
do not project queue/2 attributes to residual goals
This commit is contained in:
Mark Thom
2020-05-03 20:34:47 -03:00
committed by GitHub
parent e5903d8d6e 605c233753
commit ef6b6cd279
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/prolog/lib/clpz.pl
View File

@@ -7424,6 +7424,10 @@ intervals_to_drep([A0-B0|Rest], Drep0, Drep) :-
), ),
intervals_to_drep(Rest, Drep0 \/ D1, Drep). intervals_to_drep(Rest, Drep0 \/ D1, Drep).
attribute_goals(X) -->
{ get_atts(X, queue(_,_)) },
!,
{ put_atts(X, -queue(_,_)) }.
attribute_goals(X) --> attribute_goals(X) -->
% { get_attr(X, clpz, Attr), format("A: ~w\n", [Attr]) }, % { get_attr(X, clpz, Attr), format("A: ~w\n", [Attr]) },
{ get_attr(X, clpz, clpz_attr(_,_,_,Dom,fd_props(Gs,Bs,Os),_)), { get_attr(X, clpz, clpz_attr(_,_,_,Dom,fd_props(Gs,Bs,Os),_)),