Experimenting with independent and-parallel prolog using standard prolog

Hermenegildo, Manuel V. and Carro Liñares, Manuel (1991). Experimenting with independent and-parallel prolog using standard prolog. In: "Jornadas Nacionales de Programación Declarativa, PRODE'91", October 1991, Malaga, Spain.

Description

Title: Experimenting with independent and-parallel prolog using standard prolog
Author/s:
  • Hermenegildo, Manuel V.
  • Carro Liñares, Manuel
Item Type: Presentation at Congress or Conference (Article)
Event Title: Jornadas Nacionales de Programación Declarativa, PRODE'91
Event Dates: October 1991
Event Location: Malaga, Spain
Title of Book: Jornadas Nacionales de Programación Declarativa
Date: October 1991
Subjects:
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

This paper presents an approximation to the study of parallel systems using sequential tools. The Independent And-parallelism in Prolog is an example of parallel processing paradigm in the framework of logic programming, and implementations like <fc-Prolog uncover the potential performance of parallel processing. But this potential can also be explored using only sequential systems. Being the spirit of this paper to show how this can be done with a standard system, only standard Prolog will be used in the implementations included. Such implementations include tests for parallelism in And-Prolog, a correctnesschecking meta-interpreter of <fc-Prolog and a simulator of parallel execution for <fc-Prolog.

More information

Item ID: 15368
DC Identifier: http://oa.upm.es/15368/
OAI Identifier: oai:oa.upm.es:15368
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 18 May 2013 06:56
Last Modified: 21 Apr 2016 15:25
  • 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