A.3 library(apply): Apply predicates on a list
All Application Manual Name SummaryHelp

Availability::- use_module(library(apply)).(can be autoloaded)
Source[det]exclude(:Goal, +List1, ?List2)
Filter elements for which Goal fails. True if List2 contains those elements Xi of List1 for which call(Goal, Xi) fails.
See also
include/3, partition/4
ClioPatria (version V3.1.1-51-ga0b30a5)