<HTML> <HEAD> <!-- Created by texi2html 1.56k + clip patches and <A href="http://www.clip.dia.fi.upm.es/Software">lpdoc</A> from ciao.texi on 28 January 2007 --> <LINK rel="stylesheet" href="ciao.css" type="text/css"> <TITLE>The Ciao Prolog System - All solutions concurrent predicates</TITLE> </HEAD> <BODY> Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_87.html">previous</A>, <A HREF="ciao_89.html">next</A>, <A HREF="ciao_241.html">last</A> section, <A HREF="ciao_toc.html">table of contents</A>. <P><HR><P> <H1><A NAME="SEC372" HREF="ciao_toc.html#TOC372">All solutions concurrent predicates</A></H1> <P> <A NAME="IDX4824"></A> <P> <STRONG>Author(s):</STRONG> 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.. <P> <STRONG>Version:</STRONG> 1.10#7 (2006/4/26, 19:22:13 CEST) <P> <STRONG>Version of last change:</STRONG> 1.9#221 (2003/12/21, 20:6:33 CET) <P> This module implements thread-safe aggregation predicates. Its use and results should be the same as those in the <A NAME="IDX4825"></A> aggregates library, but several goals can use them concurrently without the interference and wrong results (due to implementation reasons) <A NAME="IDX4826"></A> aggregates might lead to. This particular implementation is completely based on the one used in the <A NAME="IDX4827"></A> aggregates library. <UL> <LI><A HREF="ciao_88.html#SEC373">Usage and interface (conc_aggregates)</A> <LI><A HREF="ciao_88.html#SEC374">Documentation on exports (conc_aggregates)</A> <LI><A HREF="ciao_88.html#SEC375">Known bugs and planned improvements (conc_aggregates)</A> </UL> <H2><A NAME="SEC373" HREF="ciao_toc.html#TOC373">Usage and interface (<CODE>conc_aggregates</CODE>)</A></H2> <div class="cartouche"> <UL> <LI><STRONG>Library usage:</STRONG> <CODE>:- use_module(library(conc_aggregates)).</CODE> <LI><STRONG>Exports:</STRONG> <UL> <LI><EM>Predicates:</EM> <A NAME="IDX4828"></A> <CODE>findall/3</CODE>. </UL> <LI><STRONG>Other modules used:</STRONG> <UL> <LI><EM>System library modules:</EM> <A NAME="IDX4829"></A> <CODE>prolog_sys</CODE>. </UL> </UL> </div class="cartouche"> <H2><A NAME="SEC374" HREF="ciao_toc.html#TOC374">Documentation on exports (<CODE>conc_aggregates</CODE>)</A></H2> <P> <A NAME="IDX4830"></A> <A NAME="IDX4831"></A> <DL> <DT><span class="define">PREDICATE:</span> <B>findall/3:</B> <DD><A NAME="IDX4832"></A> <P> <EM>Meta-predicate</EM> with arguments: <CODE>findall(?,goal,?)</CODE>. <P> <STRONG>Usage:</STRONG> <CODE>findall(?Template, +Generator, ?List)</CODE> <KBD> * ISO * </KBD> <UL> <LI><EM>Description:</EM> A special case of bagof, where all free variables in the <CODE>Generator</CODE> are taken to be existentially quantified. Safe in concurrent applications. <LI><EM>The following properties should hold upon exit:</EM> <CODE>Template</CODE> is any term. (<CODE>basic_props:term/1</CODE>) <CODE>Goal</CODE> is a term which represents a goal, i.e., an atom or a structure. (<CODE>basic_props:callable/1</CODE>) <CODE>Set</CODE> is a list. (<CODE>basic_props:list/1</CODE>) </UL> </DL> <H2><A NAME="SEC375" HREF="ciao_toc.html#TOC375">Known bugs and planned improvements (<CODE>conc_aggregates</CODE>)</A></H2> <UL> <LI> Thread-safe <A NAME="IDX4833"></A> <CODE>setof/3</CODE> is not yet implemented. <LI> Thread-safe <A NAME="IDX4834"></A> <CODE>bagof/3</CODE> is not yet implemented. </UL> <P><HR><P> Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_87.html">previous</A>, <A HREF="ciao_89.html">next</A>, <A HREF="ciao_241.html">last</A> section, <A HREF="ciao_toc.html">table of contents</A>. </BODY> </HTML>