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. In: "Third international conference on logic programming", July 14-18, 1986, Imperial College of Science and Technology, London, United Kingdom. ISBN 9783540164920.

Description

Title: An abstract machine for restricted and-parallel execution of logic programs
Author/s:
  • Hermenegildo, Manuel V.
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

Full text

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

Abstract

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.

More information

Item ID: 14536
DC Identifier: http://oa.upm.es/14536/
OAI Identifier: oai:oa.upm.es:14536
Official URL: http://link.springer.com/chapter/10.1007%2F3-540-16492-8_62
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 22 Feb 2013 07:34
Last Modified: 21 Apr 2016 14:15
  • 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