IDIOM: Integrating dependent and-, independent and-, and or-parallelism

Gupta, Gopal and Santos Costa, Vítor and Yang, Rong and Hermenegildo, Manuel V. (1991). IDIOM: Integrating dependent and-, independent and-, and or-parallelism. In: "ISLP 1991 International Symposium Logic Programming", Oct. 28 - Nov 1, 1991, San Diego, California, USA. ISBN 0262691477.

Description

Title: IDIOM: Integrating dependent and-, independent and-, and or-parallelism
Author/s:
  • Gupta, Gopal
  • Santos Costa, Vítor
  • Yang, Rong
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: ISLP 1991 International Symposium Logic Programming
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:
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 (1MB) | Preview

Abstract

Independent and-parallelism, dependent and-parallelism and or-parallelism are the three main forms of implicit parallelism present in logic programs. In this paper we present a model, IDIOM, which exploits all three forms of parallelism in a single framework. IDIOM is based on a combination of the Basic Andorra Model and the Extended And-Or Tree Model. Our model supports both Prolog as well as the fíat concurrent logic languages. We discuss the issues that arise in combining the three forms of parallelism, and our solutions to them. We also present an implementation scheme, based on binding arrays, for implementing IDIOM.

More information

Item ID: 14484
DC Identifier: http://oa.upm.es/14484/
OAI Identifier: oai:oa.upm.es:14484
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 14 Feb 2013 07:35
Last Modified: 21 Apr 2016 14:11
  • 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