Author(s): Concurrent-safe (and incomplete) version of the aggregates predicates, based on the regular versions by Richard A. O'Keefe and David H.D. Warren. Concurrency-safeness provided by Manuel Carro..
Version: 1.10#6 (2004/8/7, 21:46:39 CEST)
Version of last change: 1.9#221 (2003/12/21, 20:6:33 CET)
This module implements thread-safe aggregation predicates. Its use and results should be the same as those in the aggregates library, but several goals can use them concurrently without the interference and wrong results (due to implementation reasons) aggregates might lead to. This particular implementation is completely based on the one used in the aggregates library.
Meta-predicate with arguments:
findall(?Template, +Generator, ?List)
* ISO *
Generatorare taken to be existentially quantified. Safe in concurrent applications.
Templateis any term. (
Goalis a term which represents a goal, i.e., an atom or a structure. (
Setis a list. (
Go to the first, previous, next, last section, table of contents.