
Distributed Constraint Logic Programming
Ho-fung Leung(Author)
World Scientific Publishing Co Pte Ltd
Will be published approx. on 1. October 1993
Book
Hardback
344 pages
978-981-02-1456-2 (ISBN)
Description
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.
More details
Series
Language
English
Place of publication
Singapore
Singapore
Target group
College/higher education
Professional and scholarly
Product notice
sewn/stitched
Cloth over boards
ISBN-13
978-981-02-1456-2 (9789810214562)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Person
Content
Distributed and constraint logic programming - a brief history; Parlog, Pandora and their abstract machine; the multi-Pandora model and the multi-Pandora abstract machine; distributed implementation of Parlog; distributed implementation of Pandora; distributed implementation of multi-Pandora; finite domain constraints in distributed concurrent logic programming languages; distributed constraint concurrent logic programming; distributed constraint solver in the domain of real numbers; distributed constraint solver in the domain of Boolean rings; integrating distributed constraint solvers and distributed logic programming languages; conclusions and future work.