< language > 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)