Costa V.S. et al, "Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism"

(1991)

[SIGPLAN] (1991) SIGPLAN Notices 26(07) July 1991  

Languages mentioned