From: Markus Triska <triska@metalevel.at>
Date: Tue, 11 Apr 2023 19:24:34 +0000 (+0200)
Subject: do not create attributed variables for ground tuples
X-Git-Tag: v0.9.2~154^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=f08f539768bf21e7e63209fbbc1d7a263b67dcb2;p=scryer-prolog.git

do not create attributed variables for ground tuples
---

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index 2c412ac3..daed1471 100644
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -4369,9 +4369,11 @@ tuple_domain([T|Ts], Relation0) -->
         tuple_domain(Ts, Relation1).
 
 tuple_freeze(Tuple, Relation) :-
-        put_attr(R, clpz_relation, Relation),
-        make_propagator(rel_tuple(R, Tuple), Prop),
-        tuple_freeze_(Tuple, Prop).
+        (   ground(Tuple) -> true
+        ;   put_attr(R, clpz_relation, Relation),
+            make_propagator(rel_tuple(R, Tuple), Prop),
+            tuple_freeze_(Tuple, Prop)
+        ).
 
 tuple_freeze_([], _).
 tuple_freeze_([T|Ts], Prop) :-