From e442fddc661e9ed225fb3ecb1f5a39d6a15f9147 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Wed, 8 Apr 2020 17:49:06 +0200 Subject: [PATCH] tuples_in/2 now works --- src/prolog/lib/clpz.pl | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/prolog/lib/clpz.pl b/src/prolog/lib/clpz.pl index df5ade2d..458c5d21 100644 --- a/src/prolog/lib/clpz.pl +++ b/src/prolog/lib/clpz.pl @@ -4295,12 +4295,14 @@ tuples_in(Tuples, Relation) :- relation_tuple(Relation, Tuple) :- relation_unifiable(Relation, Tuple, Us, _, _), ( ground(Tuple) -> memberchk(Tuple, Relation) - ; tuple_domain(Tuple, Us), + ; phrase(tuple_domain(Tuple, Us), _), ( Tuple = [_,_|_] -> tuple_freeze(Tuple, Us) ; true ) ). +list_first_rest([L|Ls], L, Ls). + tuple_domain([], _) --> []. tuple_domain([T|Ts], Relation0) --> { maplist(list_first_rest, Relation0, Firsts, Relation1) }, -- 2.54.0