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

Availability::- use_module(library(apply)).(can be autoloaded)
Source[det]partition(:Pred, +List, ?Included, ?Excluded)
Filter elements of List according to Pred. True if Included contains all elements for which call(Pred, X) succeeds and Excluded contains the remaining elements.
See also
include/3, exclude/3, partition/5.