VDict mobile



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