Designing a high performance parallel logic programming system

Hermenegildo, Manuel V. y 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.

Descripción

Título: Designing a high performance parallel logic programming system
Autor/es:
  • Hermenegildo, Manuel V.
  • Warren, Richard
Tipo de Documento: Artículo
Título de Revista/Publicación: Computer Architecture News
Fecha: Marzo 1987
Volumen: 15
Materias:
Palabras Clave Informales: Logic programming, Parallel prcessing, Restricted and-parallelism, WAM, Prolog, Programación lógica, Proceso en paralelo, Warren Abstract Machine
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (603kB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 13730
Identificador DC: http://oa.upm.es/13730/
Identificador OAI: oai:oa.upm.es:13730
Identificador DOI: 10.1145/25372.25377
URL Oficial: 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
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 19 Oct 2012 08:08
Ultima Modificación: 21 Abr 2016 13:04
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM