"Automatic Compile-time Parallelization of Prolog Programs for Dependent ..."

Enrico Pontelli et al. (1997)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics