Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview |
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.
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 |
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview |
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.
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 |