Non-deterministic Concurrent Logic Programming In Pandora

By: Reem Bahgat

Write A Review

Hardcover | 1 May 1993

At a Glance

Hardcover
220 Pages

Dimensions(cm)
22.86 x 15.88 x 1.91

Hardcover

RRP $178.99

$161.75

10%OFF

or 4 interest-free payments of $40.44 with

Ships in 15 to 25 business days

This monograph is the first comprehensive study of the design, application, and implementation of Pandora, a new parallel logic programming language. Pandora combines stream and-parallelism with don't-know non-determinism in a unified and efficient manner. As a result, it provides a programming paradigm of non-deterministic concurrent communicating processes, which opens up interesting application areas that cannot conveniently be expressed in existing logic programming languages. The author describes the use of Pandora for constraint programming, solving resource allocation problems, heuristic search, and distributed discrete event simulation. The final chapters describe in detail the implementation of Pandora on single- as well as multi-processor architectures.The volume is aimed at the community of logic programming students and professionals, as well as researchers and professionals in artificial intelligence. It will also be of great interest to researchers in programming language design and parallel processing.

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 $89.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.Business Applications Computer Programming & Software Development Programming & Scripting Languages Computer Science Computer Architecture & Logic Design Parallel Processing Software Engineering Booktopia Publisher Services World Scientific Publishing

Introduction	p. 1
Logic Programming	p. 9
Pandora: The Language	p. 45
Constraint-Based Reasoning in Pandora for Solving Resource Allocation Problems	p. 68
Pandora for Distributed Discrete Event Simulation	p. 90
The Pandora Deadlock Handler	p. 106
PANDA: A Prototype PANDorA System	p. 131
The Pandora Abstract Machine	p. 149
Conclusions	p. 187
References	p. 192
Index	p. 201
Table of Contents provided by Blackwell. All Rights Reserved.

Non-deterministic Concurrent Logic Programming In Pandora

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

Empire of AI

Inside the reckless race for total domination

How to Talk to AI

(And How Not To)

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Nexus

A Brief History of Information Networks from the Stone Age to AI

We Are As Gods

A Survival Guide for the Age of Abundance

How to See Like a Machine

Images After AI

God, AI and the End of History

Understanding the Book of Revelation in an Age of Intelligent Machines

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Law Beyond Code

Technology and the Future of Normativity

Moral and Political Worries in Artificial Intelligence

Test-Driven Data Analysis

Chapman & Hall/CRC Data Science Series

Test-Driven Data Analysis

Chapman & Hall/CRC Data Science Series

Artificial Intelligence and Data Analytics in Medical Imaging

Medical Imaging in Practice

Artificial Intelligence and Data Analytics in Medical Imaging

Medical Imaging in Practice

Water Suitability Analysis

Advanced Research Approaches for Sustainable and Resilient Resource Management

Bridging the Gap

Strengthening the Bond between Audit Committee and Internal Audit

Bridging the Gap

Strengthening the Bond between Audit Committee and Internal Audit

Applied Machine Learning on Sensing Technologies

Ubiquitous Computing, Healthcare and Well-being

Visual Sensing and Ubiquitous Computing

Ubiquitous Computing, Healthcare and Well-being

Architecture, Media, Archives

The Fun Palace of Joan Littlewood and Cedric Price as a Cultural Project

How We Learn

The New Science of Education and the Brain

Artificial Intelligence and Sustainable Networks

Innovations Beyond 5G

This product is categorised by