A simulation study of or- and independent and-parallelism

Shen, Kish and Hermenegildo, Manuel V. (1991). A simulation study of or- and independent and-parallelism. In: "International Logic Programming Symposium", Oct. 28 - Nov 1, 1991, San Diego, California, USA. ISBN 0262691477.

Description

Title: A simulation study of or- and independent and-parallelism
Author/s:
  • Shen, Kish
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: International Logic Programming Symposium
Event Dates: Oct. 28 - Nov 1, 1991
Event Location: San Diego, California, USA
Title of Book: Logic Programming, Proceedings of the 1991 International Symposium
Date: October 1991
ISBN: 0262691477
Subjects:
Freetext Keywords: Parallelism, Logic programming, Performance analysis, Or-parallelism, Independent and-parallelism, Simulation, Compile-time parallelization, Paralelismo, Programación lógica, Análisis del rendimiento, Simulación.
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[thumbnail of HERME_ARC_1991-1.pdf]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (966kB) | Preview

Abstract

Although studies of a number of parallel implementations of logic programming languages are now available, the 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 highlevel simulation study of or- and independent and-parallelism with a wide selection of Prolog programs that aims to facilítate this separation. We hope this study will be instrumental in better understanding and comparing results from actual implementations, as shown by an example 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.

More information

Item ID: 14482
DC Identifier: https://oa.upm.es/14482/
OAI Identifier: oai:oa.upm.es:14482
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 14 Feb 2013 07:37
Last Modified: 27 Feb 2023 12:04
  • 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