andorra-i

from The Free On-line Dictionary of Computing (8 July 2008)

Andorra-I

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