From cf77f2998808f4ef52c1d0e580a1714f8074d955 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sat, 20 Nov 2021 22:38:27 +0100 Subject: [PATCH] FIXED: meta_predicate/1 declaration for tmember_t/3. --- src/lib/reif.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/reif.pl b/src/lib/reif.pl index f278e20b..af6713e9 100644 --- a/src/lib/reif.pl +++ b/src/lib/reif.pl @@ -77,7 +77,7 @@ i_memberd_t([X|Xs], E, T) :- tmember(P_2, [X|Xs]) :- if_( call(P_2, X), true, tmember(P_2, Xs) ). -:- meta_predicate tmember_t(1, ?). +:- meta_predicate(tmember_t(2, ?, ?)). tmember_t(P_2, [X|Xs], T) :- if_( call(P_2, X), T = true, tmember_t(P_2, Xs, T) ). -- 2.54.0