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