Non-Deterministic Concurrent Logic Programming in Pandora
Reem Bahgat · WORLD SCIENTIFIC eBooks · 1993
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.