From 66becaf91c56deaa52724ea8e39aa724d23cc1de Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sat, 20 Nov 2021 22:43:33 +0100 Subject: [PATCH] FIXED: meta_predicate/1 declaration of cond_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 f3bc72b3..169ecb2d 100644 --- a/src/lib/reif.pl +++ b/src/lib/reif.pl @@ -60,7 +60,7 @@ i_tpartition([X|Xs], P_2, Ts0, Fs0) :- ';'(A_1, B_1, T) :- if_(A_1, T = true, call(B_1, T)). -:- meta_predicate cond_t(0, 0, ?). +:- meta_predicate(cond_t(1, 0, ?)). cond_t(If_1, Then_0, T) :- if_(If_1, ( Then_0, T = true ), T = false ). -- 2.54.0