From: Markus Triska <triska@metalevel.at>
Date: Thu, 13 Apr 2023 21:38:55 +0000 (+0200)
Subject: FIXED: propagation for ground tuples
X-Git-Tag: v0.9.2~153^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=5763a4b9df76a097d1b0c045cefe72800d9177e8;p=scryer-prolog.git

FIXED: propagation for ground tuples

Example:

    ?- tuples_in([[A,A]],[[0,1],[2,0]]).
       false.

See https://github.com/triska/clpz/issues/22.
---

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index 0e42bd92..b6ad08b3 100644
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -4369,7 +4369,7 @@ tuple_domain([T|Ts], Relation0) -->
         tuple_domain(Ts, Relation1).
 
 tuple_freeze(Tuple, Relation) :-
-        (   ground(Tuple) -> true
+        (   ground(Tuple) -> memberchk(Tuple, Relation)
         ;   put_attr(R, clpz_relation, Relation),
             make_propagator(rel_tuple(R, Tuple), Prop),
             tuple_freeze_(Tuple, Prop)