Documentation Prolog Predicate Reference lists include/3

include/3

Filter elements for which a goal succeeds.

Description

include( :callable_term, +list, ?list )

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

Implementation