From 4422ffe39f1ef025934a1b61382ce25519675dfb Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Mon, 25 Jul 2022 00:10:32 +0200 Subject: [PATCH] add meta_predicate/1 declarations --- src/lib/clpz.pl | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl index bb9ffcba..94930932 100644 --- a/src/lib/clpz.pl +++ b/src/lib/clpz.pl @@ -194,6 +194,8 @@ type_error(Expectation, Term) :- type_error(Expectation, Term, unknown(Term)-1). +:- meta_predicate(partition(1, ?, ?, ?)). + partition(Pred, Ls0, As, Bs) :- include(Pred, Ls0, As), exclude(Pred, Ls0, Bs). @@ -214,6 +216,8 @@ partition_([X|Xs], Pred, Ls0, Es0, Gs0) :- include/3 and exclude/3 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ +:- meta_predicate(include(1, ?, ?)). + include(Goal, Ls0, Ls) :- include_(Ls0, Goal, Ls). @@ -226,6 +230,7 @@ include_([L|Ls0], Goal, Ls) :- include_(Ls0, Goal, Rest). +:- meta_predicate(exclude(1, ?, ?)). exclude(Goal, Ls0, Ls) :- exclude_(Ls0, Goal, Ls). -- 2.54.0