Did you know ... Search Documentation:
Predicate include/3
Availability::- use_module(library(apply)).(can be autoloaded)
Source[det]include(:Goal, +List1, ?List2)
Filter elements for which Goal succeeds. True if List2 contains those elements Xi of List1 for which call(Goal, Xi) succeeds.
See also
Older versions of SWI-Prolog had sublist/3 with the same arguments and semantics.
Tag confusing pages with doc-needs-help|Tags are associated to your profile if you are logged in|Report abuse
Tags:
  • doc-needs-help
  • filter
Mahene said (2015-03-21T12:23:46):1 upvotes 1 0 downvotes
Picture of user Mahene.
I believe the predicate 'include' is very hard to find. The common terminology in the functional context of 'map' and 'fold' is 'filter'.