Distributed Constraint Logic Programming

This book presents the first attempt to combine concurrent logic programming and constraint logic programing. It is divided into three parts. In the first part, a novel computation model, 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, Pandora, and multi-Pandora are presented. Finally, the author presents the distributed constraint solvers for finite domain constraints, as well as the distributed constraint solvers in the domains of real numbers and Boolean rings which can be incorporated into the schemes presented in the second part to handle the 'ask'- and 'tell'-constraints.

Détails du produit

• Auteurs: Ho-fung Leung, Ho-Fung (Chinese Univ Of Hong Kong Leung
• Edition: Ingram Publishers Services
• Langues: Anglais
• Format d'édition: Livre Relié
• Sortie: 01.10.1993
• EAN: 9789810214562
• ISBN: 978-981-02-1456-2
• Thèmes: World Scientific Series In Computer Science; World Scientific Series In Computer Science; World Scientific Computer Scie
• Catégories: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Informatique; COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / General, Computer programming / software engineering, Computer Programming / Software Development