Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (809kB) | Preview |
Hermenegildo, Manuel V. (1986). An abstract machine for restricted and-parallel execution of logic programs. In: "Third international conference on logic programming", July 14-18, 1986, Imperial College of Science and Technology, London, United Kingdom. ISBN 9783540164920.
Title: | An abstract machine for restricted and-parallel execution of logic programs |
---|---|
Author/s: |
|
Item Type: | Presentation at Congress or Conference (Article) |
Event Title: | Third international conference on logic programming |
Event Dates: | July 14-18, 1986 |
Event Location: | Imperial College of Science and Technology, London, United Kingdom |
Title of Book: | Third international conference on logic programming |
Date: | July 1986 |
ISBN: | 9783540164920 |
Volume: | 225 |
Subjects: | |
Freetext Keywords: | Logic Programming, Parallel processing, Warren abstract machine, Restricted and-paralelism, Prolog, Programación lógica, Procesamiento paralelo, Máquina abstracta Warren. |
Faculty: | Facultad de Informática (UPM) |
Department: | Inteligencia Artificial |
Creative Commons Licenses: | Recognition - No derivative works - Non commercial |
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (809kB) | Preview |
Although the sequential execution speed of logic programs has been greatly improved by the concepts introduced in the Warren Abstract Machine (WAM), parallel execution represents the only way to increase this speed beyond the natural limits of sequential systems. However, most proposed parallel logic programming execution models lack the performance optimizations and storage efficiency of sequential systems. This paper presents a parallel abstract machine which is an extension of the WAM and is thus capable of supporting ANDParallelism without giving up the optimizations present in sequential implementations. A suitable instruction set, which can be used as a target by a variety of logic programming languages, is also included. Special instructions are provided to support a generalized version of "Restricted AND-Parallelism" (RAP), a technique which reduces the overhead traditionally associated with the run-time management of variable binding conflicts to a series of simple run-time checks, which select one out of a series of compiled execution graphs.
Item ID: | 14536 |
---|---|
DC Identifier: | https://oa.upm.es/14536/ |
OAI Identifier: | oai:oa.upm.es:14536 |
Official URL: | http://link.springer.com/chapter/10.1007%2F3-540-1... |
Deposited by: | Biblioteca Facultad de Informatica |
Deposited on: | 22 Feb 2013 07:34 |
Last Modified: | 21 Apr 2016 14:15 |