A.3 library(apply): Apply predicates on a list
AllApplicationManualNameSummaryHelp

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.