Attempting to combine concurrent and constraint logic programming, this book deals, among other topics, with a novel computation mode - the multi-Pandora model - which is designed on the basis of the Pandora model; and the distributed implementation schemes for Parlog, Pandor and multi-Pandora.