1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
:- protocol(metap).
:- info([
version is 2,
date is 2000/7/24,
author is 'Paulo Moura',
comment is 'Useful meta-predicates protocol.']).
:- public(apply/2).
:- mode(apply(+callable, +list), zero_or_more).
:- info(apply/2, [
comment is 'Applies a predicate to list of arguments.',
argnames is ['Predicate', 'List']]).
:- public(callable/1).
:- mode(callable(@term), zero_or_one).
:- info(callable/1, [
comment is 'True if the argument can be called as a goal.',
argnames is ['Term']]).
:- public(filter/3).
:- mode(filter(+callable, +list, -list), one).
:- info(filter/3, [
comment is 'Returns a list of all list elements that satisfy a predicate using apply/2.',
argnames is ['Predicate', 'In', 'Out']]).
:- public(map/3).
:- mode(map(+callable, ?list, ?list), zero_or_more).
:- info(map/3, [
comment is 'Maps a predicate over a list of elements using apply/2.',
argnames is ['Predicate', 'In', 'Out']]).
:- public(succeeds/2).
:- mode(succeeds(+callable, +list), zero_or_more).
:- info(succeeds/2, [
comment is 'True if the predicate succeeds for each list element using apply/2.',
argnames is ['Predicate', 'List']]).
:- end_protocol.
|
