Non-deterministic concurrent logic programming in Pandora

This book offers the first thorough examination of Pandora, a newer parallel language for logic programming. It covers how the language is designed, how it can be applied, and how it is built.

Pandora joins stream-based and-parallelism with don't-know nondeterminism in one efficient framework. The outcome is a model in which nondeterministic processes run concurrently and communicate with one another, a style that makes certain problems possible to express that are awkward or impractical in earlier logic programming languages. The author demonstrates Pandora on constraint programming, resource allocation, heuristic search, and distributed discrete event simulation.

The closing chapters explain how Pandora is implemented, both on single-processor machines and on multiprocessor architectures.

The intended readers are students and practitioners of logic programming, along with researchers and professionals in artificial intelligence. Specialists in programming language design and parallel processing will also find it relevant.