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

Availability::- use_module(library(aggregate)).(can be autoloaded)
Source[semidet]aggregate_all(+Template, :Goal, -Result)
Aggregate bindings in Goal according to Template. The aggregate_all/3 version performs findall/3 on Goal. Note that this predicate fails if Template contains one or more of min(X), max(X), min(X,Witness) or max(X,Witness) and Goal has no solutions, i.e., the minumum and maximum of an empty set is undefined.