apply.pl -- Apply predicates on a list
This module defines meta-predicates that apply a predicate on all members of a list.
- include(:Goal, +List1, ?List2) is det
- Filter elements for which Goal succeeds. True if List2 contains
those elements Xi of List1 for which
call(Goal, Xi)
succeeds.
Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- scanl(Arg1, Arg2, Arg3, Arg4, Arg5)
- scanl(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7)
- scanl(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)
- maplist(Arg1, Arg2, Arg3, Arg4, Arg5)
- maplist(Arg1, Arg2, Arg3, Arg4)
- foldl(Arg1, Arg2, Arg3, Arg4)
- convlist(Arg1, Arg2, Arg3)
- foldl(Arg1, Arg2, Arg3, Arg4, Arg5)
- foldl(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)
- foldl(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7)
- scanl(Arg1, Arg2, Arg3, Arg4)
- maplist(Arg1, Arg2)
- maplist(Arg1, Arg2, Arg3)
- exclude(Arg1, Arg2, Arg3)
- partition(Arg1, Arg2, Arg3, Arg4)
- partition(Arg1, Arg2, Arg3, Arg4, Arg5)