Designing a high performance parallel logic programming system

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.

Description

Title: Designing a high performance parallel logic programming system
Author/s:
  • Hermenegildo, Manuel V.
  • Warren, Richard
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

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (603kB) | Preview

Abstract

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.

More information

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
  • 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