add meta_predicate/1 declaration for include/3 and exclude/3

2023-09-08 22:41:49 +02:00
parent 672979c515
commit ad4c17fbb6
1 changed files with 4 additions and 0 deletions
--- 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) ->