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

Availability::- use_module(library(apply)).(can be autoloaded)
Sourcemaplist(:Goal, ?List)
True if Goal can successfully be applied on all elements of List. Arguments are reordered to gain performance as well as to make the predicate deterministic under normal circumstances.