The &-prolog system: Exploiting independent and-parallelism

Hermenegildo, Manuel V. and Greene, K. J. (1991). The &-prolog system: Exploiting independent and-parallelism. "New Generation Computing", v. 9 (n. 3, 4); pp. 233-257. ISSN 0288-3635. https://doi.org/10.1007/BF03037164.

Description

Title: The &-prolog system: Exploiting independent and-parallelism
Author/s:
  • Hermenegildo, Manuel V.
  • Greene, K. J.
Item Type: Article
Título de Revista/Publicación: New Generation Computing
Date: 1991
ISSN: 0288-3635
Volume: 9
Subjects:
Freetext Keywords: Parallelism, Logic programming, Prolog, Automatic parallelization, Performance analysis, Paralelismo, Programación lógica, Paralelización automática, Análisis del rendimiento.
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 (1MB) | Preview

Abstract

The &-Prolog system, a practical implementation of a parallel execution niodel for Prolog exploiting strict and non-strict independent and-parallelism, is described. Both automatic and manual parallelization of programs is supported. This description includes a summary of the system's language and architecture, some details of its execution model (based on the RAP-WAM model), and data on its performance on sequential workstations and shared memory multiprocessors, which is compared to that of current Prolog systems. The results to date show significant speed advantages over state-of-the-art sequential systems.

More information

Item ID: 14299
DC Identifier: http://oa.upm.es/14299/
OAI Identifier: oai:oa.upm.es:14299
DOI: 10.1007/BF03037164
Official URL: http://link.springer.com/article/10.1007%2FBF03037164?LI=true
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 16 Jan 2013 14:48
Last Modified: 21 Apr 2016 13:54
  • 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