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

remove no longer needed clpz_relation attributes

Browse Source
This commit is contained in:
Markus Triska
2023-04-11 21:16:02 +02:00
parent fd1e902492
commit 94efb9ffe3
1 changed files with 8 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/lib/clpz.pl
View File

@@ -4490,14 +4490,20 @@ run_propagator(pgeq(A,B), MState) -->
run_propagator(rel_tuple(R, Tuple), MState) -->
{ get_attr(R, clpz_relation, Relation) },
( { ground(Tuple) } -> kill(MState), { memberchk(Tuple, Relation) }
( { ground(Tuple) } ->
kill(MState),
{ del_attr(R, clpz_relation),
memberchk(Tuple, Relation) }
; { relation_unifiable(Relation, Tuple, Us, false, Changed),
Us = [_|_] },
( { Tuple = [First,Second], ( ground(First) ; ground(Second) ) } ->
kill(MState)
; []
),
( { Us = [Single] } -> kill(MState), Single = Tuple
( { Us = [Single] } ->
kill(MState),
{ del_attr(R, clpz_relation) },
Single = Tuple
; { Changed } ->
{ put_attr(R, clpz_relation, Us),
disable_queue },