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 |
Experimenting with independent and-parallel prolog using standard prolog
Cita
Hermenegildo, Manuel V. 
ORCID: https://orcid.org/0000-0002-7583-323X and Carro Liñares, Manuel ORCID: https://orcid.org/0000-0001-5199-3135
(1991).
Experimenting with independent and-parallel prolog using standard prolog.
En: "Jornadas Nacionales de Programación Declarativa, PRODE'91", October 1991, Malaga, Spain.
ORCID: https://orcid.org/0000-0002-7583-323X and Carro Liñares, Manuel ORCID: https://orcid.org/0000-0001-5199-3135
(1991).
Experimenting with independent and-parallel prolog using standard prolog.
En: "Jornadas Nacionales de Programación Declarativa, PRODE'91", October 1991, Malaga, Spain.
Descripción
| Título: | Experimenting with independent and-parallel prolog using standard prolog |
|---|---|
| Autor/es: |
|
| Tipo de Documento: | Ponencia en Congreso o Jornada (Artículo) |
| Título del Evento: | Jornadas Nacionales de Programación Declarativa, PRODE'91 |
| Fechas del Evento: | October 1991 |
| Lugar del Evento: | Malaga, Spain |
| Título del Libro: | Jornadas Nacionales de Programación Declarativa |
| Fecha: | Octubre 1991 |
| Materias: | |
| ODS: | |
| Escuela: | Facultad de Informática (UPM) [antigua denominación] |
| Departamento: | Inteligencia Artificial |
| Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
Resumen
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.
Más información
| ID de Registro: | 15368 |
|---|---|
| Identificador DC: | https://oa.upm.es/15368/ |
| Identificador OAI: | oai:oa.upm.es:15368 |
| Depositado por: | Biblioteca Facultad de Informatica |
| Depositado el: | 18 May 2013 06:56 |
| Ultima Modificación: | 27 Feb 2023 09:31 |
Acciones
- Estadísticas
- Exportar cita
- Editar (sólo personal del Archivo)
