A Distributed and Probabilistic Concurrent Constraint Programming Language

TitleA Distributed and Probabilistic Concurrent Constraint Programming Language
Publication TypeConference Paper
Year of Publication2005
AuthorsBortolussi L, Wiklicky H
EditorGabbrielli M, Gupta G
Conference Name21st International Conference Logic Programming (ICLP 2005)
Date Published5, 2005.
PublisherHeidelberg: Springer-Verlag.
KeywordsConcurrent Constraint Programming, Distributed Programming Languages, Probabilistic Languages

We present a version of the CCP paradigm, which is both distributed and probabilistic. We consider networks with a fixed number of nodes, each of them possessing a local and independent constraint store. While locally the computations evolve asynchronously, following the usual rules of (probabilistic) CCP, the communications among different nodes are synchronous. There are channels, and through them different objects can be exchanged: constraints, agents and channel themselves. In addition, all this activities are embedded in a probabilistic scheme based on a discrete model of time, both locally and globally. Finally we enhance the language with the capability of performing an automatic remote synchronization of variables belonging to different constraint stores.