High-level characteristics of or-and independent and-parallelism in prolog

Shen, Kish y Hermenegildo, Manuel V. (1996). High-level characteristics of or-and independent and-parallelism in prolog. "Journal of Parallel Programming", v. 24 (n. 5); pp. 433-478. ISSN 0885-7458. https://doi.org/10.1007/BF02583023.

Descripción

Título: High-level characteristics of or-and independent and-parallelism in prolog
Autor/es:
  • Shen, Kish
  • Hermenegildo, Manuel V.
Tipo de Documento: Artículo
Título de Revista/Publicación: Journal of Parallel Programming
Fecha: Octubre 1996
Volumen: 24
Materias:
Palabras Clave Informales: Logic programming, Simulation, Or-parallelism, And-parallelism, Combining parallelism, Programación lógica, simulación, Combinación de paralelismo.
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

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

Resumen

Although studies of a number of parallel implementations of logic programming languages are now available, their results are difficult to interpret due to the multiplicity of factors involved, the effect of each of which is difficult to sepárate. In this paper we present the results of a high-level simulation study of or- and independent and-parallelism with a wide selection of Prolog programs that aims to determine the intrinsic amount of parallelism, independently of implementation factors, thus facilitating this separation. We expect this study will be instrumental in better understanding and comparing results from actual implementations, as shown by some examples provided in the paper. In addition, the paper examines some of the issues and tradeoffs associated with the combination of and- and or-parallelism and proposes reasonable solutions based on the simulation data obtained.

Más información

ID de Registro: 14290
Identificador DC: http://oa.upm.es/14290/
Identificador OAI: oai:oa.upm.es:14290
Identificador DOI: 10.1007/BF02583023
URL Oficial: http://link.springer.com/article/10.1007%2FBF02583023
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 16 Ene 2013 07:42
Ultima Modificación: 21 Abr 2016 13:52
  • 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
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM