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

Shen, Kish and 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.

Description

Title: High-level characteristics of or-and independent and-parallelism in prolog
Author/s:
  • Shen, Kish
  • Hermenegildo, Manuel V.
Item Type: Article
Título de Revista/Publicación: Journal of Parallel Programming
Date: October 1996
ISSN: 0885-7458
Volume: 24
Subjects:
Freetext Keywords: Logic programming, Simulation, Or-parallelism, And-parallelism, Combining parallelism, Programación lógica, simulación, Combinación de paralelismo.
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (2MB) | Preview

Abstract

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.

More information

Item ID: 14290
DC Identifier: http://oa.upm.es/14290/
OAI Identifier: oai:oa.upm.es:14290
DOI: 10.1007/BF02583023
Official URL: http://link.springer.com/article/10.1007%2FBF02583023
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 16 Jan 2013 07:42
Last Modified: 21 Apr 2016 13:52
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM