Andorra-I

A language combinging the OR parallelism of Aurora with 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).