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

Availability::- use_module(library(aggregate)).(can be autoloaded)
Source[nondet]aggregate(+Template, :Goal, -Result)
Aggregate bindings in Goal according to Template. The aggregate/3 version performs bagof/3 on Goal.