Full text
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (603kB) | Preview |
Hermenegildo, Manuel V. and Warren, Richard (1987). Designing a high performance parallel logic programming system. "Computer Architecture News", v. 15 (n. 1); pp. 43-52. ISSN 0163-5964. https://doi.org/10.1145/25372.25377.
Title: | Designing a high performance parallel logic programming system |
---|---|
Author/s: |
|
Item Type: | Article |
Título de Revista/Publicación: | Computer Architecture News |
Date: | March 1987 |
ISSN: | 0163-5964 |
Volume: | 15 |
Subjects: | |
Freetext Keywords: | Logic programming, Parallel prcessing, Restricted and-parallelism, WAM, Prolog, Programación lógica, Proceso en paralelo, Warren Abstract Machine |
Faculty: | Facultad de Informática (UPM) |
Department: | Inteligencia Artificial |
Creative Commons Licenses: | Recognition - No derivative works - Non commercial |
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (603kB) | Preview |
Compilation techniques such as those portrayed by the Warren Abstract Machine(WAM) have greatly improved the speed of execution of logic programs. The research presented herein is geared towards providing additional performance to logic programs through the use of parallelism, while preserving the conventional semantics of logic languages. Two áreas to which special attention is given are the preservation of sequential performance and storage efficiency, and the use of low overhead mechanisms for controlling parallel execution. Accordingly, the techniques used for supporting parallelism are efficient extensions of those which have brought high inferencing speeds to sequential implementations. At a lower level, special attention is also given to design and simulation detail and to the architectural implications of the execution model behavior. This paper offers an overview of the basic concepts and techniques used in the parallel design, simulation tools used, and some of the results obtained to date.
Item ID: | 13730 |
---|---|
DC Identifier: | http://oa.upm.es/13730/ |
OAI Identifier: | oai:oa.upm.es:13730 |
DOI: | 10.1145/25372.25377 |
Official URL: | http://delivery.acm.org/10.1145/30000/25377/p43-hermenegildo.pdf?ip=138.100.134.165&acc=ACTIVE%20SERVICE&CFID=177474140&CFTOKEN=93282512&__acm__=1350560792_4bbb46bfa0cd01a8e106c79f5a1731d2 |
Deposited by: | Biblioteca Facultad de Informatica |
Deposited on: | 19 Oct 2012 08:08 |
Last Modified: | 21 Apr 2016 13:04 |