Annotation of Logic Programs for Independent AND-Parallelism by Partial Evaluation

Germán Vidal

Traditional approaches to automatic AND-parallelization of logic programs rely on some static analysis to identify independent goals that can be safely and efficiently run in paral…