From ad4c17fbb6590b7bd04cd058e0d5d755d5dc14c3 Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Fri, 8 Sep 2023 22:41:49 +0200
Subject: [PATCH] add meta_predicate/1 declaration for include/3 and exclude/3

---
 src/lib/clpb.pl | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/lib/clpb.pl b/src/lib/clpb.pl
index 311d6115..b5deff81 100644
--- a/src/lib/clpb.pl
+++ b/src/lib/clpb.pl
@@ -1949,6 +1949,8 @@ Compatibility predicates.
 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
 
 
+:- meta_predicate(include(1, ?, ?)).
+
 include(_, [], []).
 include(Goal, [L|Ls0], Ls) :-
         (   call(Goal, L) ->
@@ -1957,6 +1959,8 @@ include(Goal, [L|Ls0], Ls) :-
         ),
         include(Goal, Ls0, Rest).
 
+:- meta_predicate(exclude(1, ?, ?)).
+
 exclude(_, [], []).
 exclude(Goal, [L|Ls0], Ls) :-
         (   call(Goal, L) ->
-- 
2.54.0