Andorra-I
A {parallel} {logic programming} language with the
{OR-parallelism} of {Aurora} and the {AND-parallelism} of
{Parlog}.
["Andorra-I: A Parallel Prolog System that Transparently
Exploits both And- and Or-Parallelism", V.S Costa et al,
SIGPLAN Notices 26(7):83-93 (July 1991)].
[Imperial College? Who?]
(1995-11-24)