Documentation include/3
available from version beta

include/3

Filter elements for which a goal succeeds.

Description

include( :callable_term, +list, ?list )

include(Goal, List, FilterList) is true and only true if FilterList is a list containing only the elements of List that satisfy Goal.

Implementation