The DCG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism.

Kalyan Muthukumar, Manuel V. Hermenegildo

Browse the full ICLP paper archive.