Experimenting with independent and-parallel prolog using standard prolog

Hermenegildo, Manuel V. y Carro Liñares, Manuel (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:
  • Hermenegildo, Manuel V.
  • Carro Liñares, Manuel
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:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa

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: http://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: 21 Abr 2016 15:25
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM