A.2 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.
ClioPatria (version V3.1.1-21-gb8003bb)