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.11#222 (2004/5/24, 13:8:7 CEST)
Version of last change: 1.11#97 (2003/12/21, 20:7:18 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.
conc_aggregates)conc_aggregates)
Meta-predicate with arguments: findall(?,goal,?).
Usage: findall(Template, Generator, List)
* ISO *
Generator are taken to be existentially quantified. Safe in concurrent applications.
Generator is currently a term which is not a free variable.
(term_typing:nonvar/1)
Template is any term.
(basic_props:term/1)
Goal is a term which represents a goal, i.e., an atom or a structure.
(basic_props:callable/1)
Set is a list.
(basic_props:list/1)
conc_aggregates)Go to the first, previous, next, last section, table of contents.