Pandora

(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].

Last updated: 1995-04-27


Loading