Full text
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview |
IDIOM: Integrating dependent and-, independent and-, and or-parallelism
Citation
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: |
|
| 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 |
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: | https://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 |
