- 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.
- See also
- - exclude/3, partition/4, convlist/3.
- Compatibility
- - Older versions of SWI-Prolog had sublist/3 with the same
arguments and semantics.