Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism.

Vtor Santos Costa, David H. D. Warren, Rong Yang

Browse the full PPoPP paper archive.