Parallel execution of Prolog programs: a survey

Ali, Khayri A.M.; Carlsson, Mats; Gupta, Gopal; Hermenegildo, Manuel V. y Pontelli, Enrico (2001). Parallel execution of Prolog programs: a survey. "ACM transactions on programming languages and systems", v. 23 (n. 4); pp. 472-602. ISSN 0164-0925.


Título: Parallel execution of Prolog programs: a survey
  • Ali, Khayri A.M.
  • Carlsson, Mats
  • Gupta, Gopal
  • Hermenegildo, Manuel V.
  • Pontelli, Enrico
Tipo de Documento: Artículo
Título de Revista/Publicación: ACM transactions on programming languages and systems
Fecha: 2001
Volumen: 23
Palabras Clave Informales: Automatic parallelization, constraint programming, logic programming, parallelism, prolog, paralelización automática, programación restringida, programación lógica
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (9MB) | Vista Previa


Since the early days of logic programming, researchers in the field realized the potential for exploitation of parallelism present in the execution of logic programs. Their high-level nature, the presence of nondeterminism, and their referential transparency, among other characteristics, make logic programs interesting candidates for obtaining speedups through parallel execution. At the same time, the fact that the typical applications of logic programming frequently involve irregular computations, make heavy use of dynamic data structures with logical variables, and involve search and speculation, makes the techniques used in the corresponding parallelizing compilers and run-time systems potentially interesting even outside the field. The objective of this article is to provide a comprehensive survey of the issues arising in parallel execution of logic programming languages along with the most relevant approaches explored to date in the field. Focus is mostly given to the challenges emerging from the parallel execution of Prolog programs. The article describes the major techniques used for shared memory implementation of Or-parallelism, And-parallelism, and combinations of the two. We also explore some related issues, such as memory management, compile-time analysis, and execution visualization.

Más información

ID de Registro: 11160
Identificador DC:
Identificador OAI:
Identificador DOI: 10.1145/504083.504085
URL Oficial:
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 19 Sep 2012 11:01
Ultima Modificación: 20 Abr 2016 19:19
  • GEO_UP4
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • InvestigaM
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM