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