]> Repositorios git - scryer-prolog.git/commitdiff
do not project queue/2 attributes to residual goals
authorMarkus Triska <[email protected]>
Sun, 3 May 2020 22:54:43 +0000 (00:54 +0200)
committerMarkus Triska <[email protected]>
Sun, 3 May 2020 22:54:43 +0000 (00:54 +0200)
src/prolog/lib/clpz.pl

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