An abstract machine for restricted and-parallel execution of logic programs

Hermenegildo, Manuel V. (1986). An abstract machine for restricted and-parallel execution of logic programs. En: "Third international conference on logic programming", July 14-18, 1986, Imperial College of Science and Technology, London, United Kingdom. ISBN 9783540164920.

Descripción

Título: An abstract machine for restricted and-parallel execution of logic programs
Autor/es:
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: Third international conference on logic programming
Fechas del Evento: July 14-18, 1986
Lugar del Evento: Imperial College of Science and Technology, London, United Kingdom
Título del Libro: Third international conference on logic programming
Fecha: Julio 1986
ISBN: 9783540164920
Volumen: 225
Materias:
Palabras Clave Informales: Logic Programming, Parallel processing, Warren abstract machine, Restricted and-paralelism, Prolog, Programación lógica, Procesamiento paralelo, Máquina abstracta Warren.
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 (809kB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 14536
Identificador DC: http://oa.upm.es/14536/
Identificador OAI: oai:oa.upm.es:14536
URL Oficial: http://link.springer.com/chapter/10.1007%2F3-540-16492-8_62
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 22 Feb 2013 07:34
Ultima Modificación: 21 Abr 2016 14:15
  • 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