aggregate/3

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(aggregate): Aggregation operators on backtrackable predicates
- Packages

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.