Pandora

Parlog extended to allow "don't-know" non-determinism.

"Pandora: Non-Deterministic Parallel Logic Programming", R. Bahgat et al, Proceedings of the 6th International Conference on Logic Programming, MIT Press, 1989 pp.471-486.