
Non-deterministic Concurrent Logic Programming In Pandora
Reem Bahgat(Author)
World Scientific Publishing Co Pte Ltd
Will be published approx. on 1. May 1993
Book
Hardback
220 pages
978-981-02-1251-3 (ISBN)
Description
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.
More details
Series
Language
English
Place of publication
Singapore
Singapore
Target group
College/higher education
Professional and scholarly
ISBN-13
978-981-02-1251-3 (9789810212513)
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
Introduction; logic programming; Pandora - the language; constraint-based reasoning in Pandora for solving resource allocation problems; Pandora for distributed discrete event simulation; the Pandora deadlock handler; PANDA; a prototype PANDorA system; the Pandora abstract machine.