&-prolog and its performance: exploiting independent and-parallelism

Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X and Greene, K. J. (1990). &-prolog and its performance: exploiting independent and-parallelism. En: "Seventh International Conference on Logic Programming", June 18-20, 1990, Jerusalem, Israel. ISBN 0262730901.

Descripción

Título: &-prolog and its performance: exploiting independent and-parallelism
Autor/es:
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: Seventh International Conference on Logic Programming
Fechas del Evento: June 18-20, 1990
Lugar del Evento: Jerusalem, Israel
Título del Libro: Logic Programming, Proceedings of the Seventh International Conference
Fecha: Junio 1990
ISBN: 0262730901
Materias:
ODS:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[thumbnail of HERME_ARC_1990-4.pdf]
Vista Previa
PDF (Portable Document Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa

Resumen

An Independent And-Parallel Prolog model and implementation, &-Prolog, are described. The description includes a summary of the system's architecture, some details of its execution model (based on the RAP-WAM model), and most importantly, its performance on sequential workstations and shared memory multiprocessors as compared with state-of-the-art Prolog systems. Speedup curves are provided for a collection of benchmark programs which demónstrate significant speed advantages over state-of the art sequential systems.

Más información

ID de Registro: 14497
Identificador DC: https://oa.upm.es/14497/
Identificador OAI: oai:oa.upm.es:14497
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 15 Feb 2013 07:53
Ultima Modificación: 21 Abr 2016 14:12