"The &-Prolog System: Exploiting Independent And-Parallelism."

Manuel V. Hermenegildo, K. J. Greene (1991)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics