<language> Parlog extended to allow don't-know nondeterminism.
["Pandora: Non-Deterministic Parallel Logic Programming", R. Bahgat et al, Proc 6th Intl Conf Logic Programming, MIT Press 1989 pp. 471-486].
(27 Apr 1995)