Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa |
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 (Informe Técnico). Facultad de Informática (UPM) [antigua denominación], Madrid, Spain.
Título: | Experimenting with independent and-parallel prolog using standard prolog |
---|---|
Autor/es: |
|
Tipo de Documento: | Monográfico (Informe Técnico) |
Fecha: | Octubre 1991 |
Materias: | |
Escuela: | Facultad de Informática (UPM) [antigua denominación] |
Departamento: | Inteligencia Artificial |
Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa |
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.
ID de Registro: | 15291 |
---|---|
Identificador DC: | https://oa.upm.es/15291/ |
Identificador OAI: | oai:oa.upm.es:15291 |
URL Oficial: | http://clip.dia.fi.upm.es/papers/coderep-prode.pdf |
Depositado por: | Biblioteca Facultad de Informatica |
Depositado el: | 14 May 2013 05:15 |
Ultima Modificación: | 27 Feb 2023 09:39 |