Nguage> A parallellogic 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, SIGPLANNotices 26(7):83-93 (July 1991)]. [Imperial College? Who?] (1995-11-24)