| aggregate/3 | Aggregate bindings in Goal according to Template. |
| aggregate/4 | Aggregate bindings in Goal according to Template. |
| aggregate_all/3 | Aggregate bindings in Goal according to Template. |
| aggregate_all/4 | Aggregate bindings in Goal according to Template. |
| foreach/2 | True when the conjunction of _instances_ of Goal created from solutions for Generator is true. |
| free_variables/4 | Find free variables in bagof/setof template. |