A.1 library(aggregate): Aggregation operators on backtrackable predicates
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(aggregate)).(can be autoloaded)
Source[semidet]aggregate_all(+Template, +Discriminator, :Goal, -Result)
Aggregate bindings in Goal according to Template. The aggregate_all/4 version performs findall/3 followed by sort/2 on Goal. See aggregate_all/3 to understand why this predicate can fail.