Distributed Constraint Logic Programming: 41 (World Scientific Series In Computer Science) - Hardcover

Leung, Ho-fung

 
9789810214562: Distributed Constraint Logic Programming: 41 (World Scientific Series In Computer Science)
Hardcover
ISBN 10: 9810214561 ISBN 13: 9789810214562
Verlag: World Scientific Publishing Co Pte Ltd, 1993

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

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.

Reseña del editor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
World Scientific Publishing Co Pte Ltd
Erscheinungsdatum
1993
Sprache
Englisch
ISBN 10 
9810214561
ISBN 13 
9789810214562
Einband
Tapa dura
Anzahl der Seiten
344
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar