Source : Free On-Line Dictionary of Computing

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)