Distributed Constraint Logic Programming

This book represents an attempt to combine concurrent logic programming and constraint logic programming. It is divided into three parts. In the first part, a novel computation mode, called the multi-Pandora model, which is designed on the basis of the Pandora model, is presented. In the second part, the distributed implementation schemes for Parlog, Pandor and multi-Pandor are presented. Finally, the author presents the distributed constraint solvers in the domains of real numbers and Boolean rings which can be incorporated into the schemes presented in Part 2 to handle the "ask-" and "tell"-constraints.