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

The God We Made

The Threat and Promise of Artificial Intelligence; Quarterly Essay 102

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

How We Learn

The New Science of Education and the Brain

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

The Infinity Machine

Demis Hassabis, DeepMind and the Quest for Superintelligence

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Co-Intelligence

Living and Working with AI

CEH Certified Ethical Hacker v13 Study Guide

Sybex Study Guide

AI in Legal Tech

How Generative AI Is Transforming Legal Technology and the Practice of Law

Artificial Intelligence

A Modern Approach, 4th Global Edition

Control, Robotics and Sensors

Design, Control and Applications

AI for Public Relations

A How-To Guide for Implementation and Management

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

AI and Data Science in Medical Research

New Developments and Advances

Navigating the AI Frontier in Business

Balancing Economy, Ecology, and Inclusion

The Cambridge Handbook of AI in Civil Dispute Resolution

Cambridge Law Handbooks

Proceedings of the 6th International Conference on Big Data Analytics for Cyber-Physical System in Smart City, Volume 1

BDCPS 2024, December 7-8, Ji'an, China

Digital Transformation: What Kind of Smart Life do we have today?

Volume 1

Extended Reality

International Conference, ICXR 2025, Qingdao, China, November 1-2, 2025, Proceedings

Research and Education in Urban History in the Age of Digital Libraries

4th International Workshop, UHDL 2025, Vienna, Austria, November 3-5, 2025, Revised Selected Papers

Enhancing Ultra-Low-Field MRI with Paired High-Field MRI Comparisons for Brain Imaging

First International Challenge, ULF-EnC 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings

Artificial Intelligence in Education

Proceedings of the 16th IMCL Conference, Volume 2

Stochastic Control in Energy, Environmental and Resource Management Applications

Emerging Methodologies and Applications in Modelling, Identification and Control

This product is categorised by