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

do not create attributed variables for ground tuples

Browse Source
This commit is contained in:
Markus Triska
2023-04-11 21:24:34 +02:00
parent be45672e22
commit f08f539768
1 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/lib/clpz.pl
View File

@@ -4369,9 +4369,11 @@ tuple_domain([T|Ts], Relation0) -->
tuple_domain(Ts, Relation1). tuple_domain(Ts, Relation1).
tuple_freeze(Tuple, Relation) :- tuple_freeze(Tuple, Relation) :-
put_attr(R, clpz_relation, Relation), ( ground(Tuple) -> true
make_propagator(rel_tuple(R, Tuple), Prop), ; put_attr(R, clpz_relation, Relation),
tuple_freeze_(Tuple, Prop). make_propagator(rel_tuple(R, Tuple), Prop),
tuple_freeze_(Tuple, Prop)
).
tuple_freeze_([], _). tuple_freeze_([], _).
tuple_freeze_([T|Ts], Prop) :- tuple_freeze_([T|Ts], Prop) :-