Experimenting with independent and-parallel prolog using standard prolog

Carro Liñares, Manuel ORCID: https://orcid.org/0000-0001-5199-3135 and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (1991). Experimenting with independent and-parallel prolog using standard prolog. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Description

Title: Experimenting with independent and-parallel prolog using standard prolog
Author/s:
Item Type: Monograph (Technical Report)
Date: October 1991
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[thumbnail of HERME_TCREP_ANDMANS_1991-1.pdf]
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: 15291
DC Identifier: https://oa.upm.es/15291/
OAI Identifier: oai:oa.upm.es:15291
Official URL: http://clip.dia.fi.upm.es/papers/coderep-prode.pdf
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 14 May 2013 05:15
Last Modified: 27 Feb 2023 09:39
  • 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