From 6610ba67c449f8b712cc63e4a4f12601b5cbe239 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sat, 20 Nov 2021 22:43:07 +0100 Subject: [PATCH] FIXED: meta_predicate/1 declaration of (',')/3 and (;)/3. --- src/lib/reif.pl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/lib/reif.pl b/src/lib/reif.pl index a032af32..f3bc72b3 100644 --- a/src/lib/reif.pl +++ b/src/lib/reif.pl @@ -4,7 +4,7 @@ :- use_module(library(dif)). -:- meta_predicate if_(1, 0, 0). +:- meta_predicate(if_(1, 0, 0)). if_(If_1, Then_0, Else_0) :- call(If_1, T), @@ -50,12 +50,12 @@ i_tpartition([X|Xs], P_2, Ts0, Fs0) :- , ( Fs0 = [X|Fs], Ts0 = Ts ) ), i_tpartition(Xs, P_2, Ts, Fs). -:- meta_predicate ','(0, 0, ?). +:- meta_predicate(','(1, 1, ?)). ','(A_1, B_1, T) :- if_(A_1, call(B_1, T), T = false). -:- meta_predicate ';'(0, 0, ?). +:- meta_predicate(';'(1, 1, ?)). ';'(A_1, B_1, T) :- if_(A_1, T = true, call(B_1, T)). -- 2.54.0