A.1 library(aggregate): Aggregation operators on backtrackable predicates
AllApplicationManualNameSummaryHelp

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.
Tags are associated to your profile if you are logged in
Powered by SWI-Prolog 6.3.17-14-g992ae6f