Distributed Constraint Logic Programming

By: H-F Leung

Write A Review

Hardcover | 1 December 1992

At a Glance

Hardcover
344 Pages

Dimensions(cm)
22.23 x 15.88 x 2.54

Hardcover

RRP $223.99

$156.99

30%OFF

or 4 interest-free payments of $39.25 with

Ships in 15 to 25 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $0.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Computer Architecture & Logic Design Computer Programming & Software Development Booktopia Publisher Services World Scientific Publishing

Preface
Acknowledgement
Introduction	p. 1
Distributed and Constraint Logic Programming - A Brief History	p. 3
Parlog, Pandora and Their Abstract Machines	p. 29
The Multi-Pandora Model and the Multi-Pandora Abstract Machine	p. 41
Distributed Implementation of Parlog	p. 73
Distributed Implementation of Pandora	p. 119
Distributed Implementation of Multi-Pandora	p. 143
Finite Domain Constraints in Distributed Concurrent Logic Programming Languages	p. 175
Distributed Constraint Concurrent Logic Programming	p. 201
Distributed Constraint Solver in the Domain of Real Numbers	p. 211
Distributed Constraint Solver in the Domain of Boolean Rings	p. 239
Integrating Distributed Constraint Solvers and Distributed Logic Programming Languages	p. 251
Conclusions	p. 267
Conclusions and Future Work	p. 269
References	p. 273
Appendices	p. 291
Appendix A: A Detailed Trace of a Pandora Program	p. 293
Appendix B: Proofs of Theorems	p. 297
Appendix C: The [actual symbol not reproducible] Algorithm for Detection of Termination of Multi-Processor Execution	p. 307
Appendix D: The Shafrir-Shapiro Implementation of the Dolev-Klawe-Rodeh Algorithm in Concurrent Prolog	p. 311
Appendix E A Distributed Parlog Implementation of the Distributed Snapshots Algorithm	p. 315
Appendix F: A Distributed Parlog Implementation of the Dining Philosophers Problem	p. 317
Appendix G: Parlog Codes for the Implementation of the Looking-Ahead Inference Rule	p. 321
Table of Contents provided by Blackwell. All Rights Reserved.

Distributed Constraint Logic Programming

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

God AI

Boom or Doom? What to Expect When Machines Outsmart Us

The Reverse Centaur's Guide to Life After AI

How to Think About Artificial Intelligence Before It's Too Late

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Empire of AI

Inside the reckless race for total domination

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

The Infinity Machine

Demis Hassabis, DeepMind and the Quest for Superintelligence

Hands-On Machine Learning with Scikit-Learn and PyTorch

Concepts, Tools, and Techniques to Build Intelligent Systems

Co-Intelligence

Living and Working with AI

Law, Policy and the Internet

Understanding Artificial Intelligence

A Critical Introduction for the Humanities and Social Sciences

Practical Multi-Agent AI Systems

How to Architect, Build, and Scale Next-Generation AI Systems That Work in the Real World

Electric Sheep, Encrypted Dreams

A Field Guide to Defending Humanity in the Age of Neuro-Clouds, Quantum Hackers and Ethical Black Holes

Electric Sheep, Encrypted Dreams

A Field Guide to Defending Humanity in the Age of Neuro-Clouds, Quantum Hackers and Ethical Black Holes

The Future of Public Relations

AI's Impact on History, Practice, Ethics, and Education

Designing Agentic AI Experiences

UX Strategies for Collaborative, Human-Centered AI

Designing Agentic AI Experiences

UX Strategies for Collaborative, Human-Centered AI

The Future of Digital Well-Being

Interdisciplinary Perspectives on Human Flourishing in the Age of AI

How AI Sees the City

Urban Visual Intelligence

How AI Sees the City

Urban Visual Intelligence

Statistics in Clinical Development of Cancer Drugs

Recent Trends & Advances

Artificial Intelligence in Modeling and Simulation

Simulation Foundations, Methods and Applications

Claude For Dummies

Aquaculture with Artificial Intelligence

Emerging Technologies for Sustainable Industry Development

This product is categorised by