Non-Deterministic Concurrent Logic Programming in Pandora
Appeared in Volume 6/4, November 1993
Reem Bahgat World Scientific Series in Computer Science: Vol. 37 ISBN 981-02-1251-8 US $48.00 224pp (approx)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.
For more information contact:
Reem Bahgat The Regional Information Technology and Software Engineering Centre Cairo University Cairo, Egypt Tel: 202 340 4593 Fax: 202 341 2139 Telex: 20414 IDSC Email: firstname.lastname@example.org