A.1 library(aggregate): Aggregation operators on backtrackable predicates
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
The SWI-Prolog library
library(aggregate): Aggregation operators on backtrackable predicates
aggregate/3
aggregate/4
aggregate_all/3
aggregate_all/4
foreach/2
free_variables/4
safe_meta/2
Packages
Availability:
:- use_module(
library(aggregate)
).
(can be autoloaded)
[nondet]
aggregate
(
+Template, +Discriminator, :Goal, -Result
)
Aggregate bindings in
Goal
according to
Template
. The
aggregate/4
version performs
setof/3
on
Goal
.
[nondet]aggregate(+Template,
+Discriminator, :Goal, -Result)[nondet]aggregate(+Template,
+Discriminator, :Goal, -Result)