Non-deterministic Concurrent Logic Programming In Pandora PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Non-deterministic Concurrent Logic Programming In Pandora PDF full book. Access full book title Non-deterministic Concurrent Logic Programming In Pandora by Reem Bahgat. Download full books in PDF and EPUB format.

Non-deterministic Concurrent Logic Programming In Pandora

Non-deterministic Concurrent Logic Programming In Pandora PDF Author: Reem Bahgat
Publisher: World Scientific
ISBN: 9814504653
Category : Computers
Languages : en
Pages : 226

Book 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.
➤