- aggregate_all(+Template, :Goal, -Result) is semidet
- 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.