Home
Download
Browse GIT
Contrib
Packs
HOWTO
FAQ
Manual
Mailinglist
Support
Links
Contact
Development tools
PlDoc Documentation
Graphics
(Semantic) Web
Publications
Contributors
License
Wiki (edit)
login
A.1 library(aggregate): Aggregation operators on backtrackable predicates
All
Application
Manual
Name
Summary
Help
Availability:
:- use_module(
library(aggregate)
).
(can be autoloaded)
[nondet]
aggregate
(
+Template, :Goal, -Result
)
Aggregate bindings in
Goal
according to
Template
. The
aggregate/3
version performs
bagof/3
on
Goal
.
