Dear Ryan,
Sorry about the delay in this answer, and thanks for your encouragement!
Unfortunately the "Teams" functionality as is described in that paper was implemented in a previous version of Ciao and that particular implementation does not currently run any more. It could be redone but we are actually moving instead to a newer model (see below). In the Ciao Subversion repository there is however a simple emulation of more or less the same functionality (the 'contrib/teams' package) that Amadeo Casas recently worked on. It is not very well tested yet, but you may want to give it a try (and report any problems). Other possibly useful contributed libraries are, as you have discovered, 'hlc' and 'andprolog', but they provide only partial functionality (e.g., work only for deterministic calls), so your best bet is probably 'teams'.
By the way, we are actually working on combining the teams package with the concurrent objects model and hope to include this in the distribution in not too long.
Regards,
Daniel and the Ciao team
============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------