]> Repositorios git - scryer-prolog.git/commitdiff
add meta_predicate/1 declaration for include/3 and exclude/3
authorMarkus Triska <[email protected]>
Fri, 8 Sep 2023 20:41:49 +0000 (22:41 +0200)
committerMarkus Triska <[email protected]>
Sat, 9 Sep 2023 05:32:06 +0000 (07:32 +0200)
src/lib/clpb.pl

index 311d611523210be8a12c65a17762f48080c0579f..b5deff81c65d389c816b6d292846796dc7d89a80 100644 (file)
@@ -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) ->