Non-Deterministic Concurrent Logic Programming in Pandora
Reem Bahgat
Gebundenes Buch

Non-Deterministic Concurrent Logic Programming in Pandora

Versandkostenfrei!
Versandfertig in über 4 Wochen
89,99 €
inkl. MwSt.
PAYBACK Punkte
45 °P sammeln!
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, heuristi...