Title: Non-deterministic concurrent logic programming in Pandora
Subjects: Logic programming, Pandora (Computer program language)