IDIOM: Integrating dependent and-, independent and-, and or-parallelism

Gupta, Gopal; Santos Costa, Vítor; Yang, Rong y Hermenegildo, Manuel V. (1991). IDIOM: Integrating dependent and-, independent and-, and or-parallelism. En: "ISLP 1991 International Symposium Logic Programming", Oct. 28 - Nov 1, 1991, San Diego, California, USA. ISBN 0262691477.

Descripción

Título: IDIOM: Integrating dependent and-, independent and-, and or-parallelism
Autor/es:
  • Gupta, Gopal
  • Santos Costa, Vítor
  • Yang, Rong
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: ISLP 1991 International Symposium Logic Programming
Fechas del Evento: Oct. 28 - Nov 1, 1991
Lugar del Evento: San Diego, California, USA
Título del Libro: Logic Programming, Proceedings of the 1991 International Symposium
Fecha: Octubre 1991
ISBN: 0262691477
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

Independent and-parallelism, dependent and-parallelism and or-parallelism are the three main forms of implicit parallelism present in logic programs. In this paper we present a model, IDIOM, which exploits all three forms of parallelism in a single framework. IDIOM is based on a combination of the Basic Andorra Model and the Extended And-Or Tree Model. Our model supports both Prolog as well as the fíat concurrent logic languages. We discuss the issues that arise in combining the three forms of parallelism, and our solutions to them. We also present an implementation scheme, based on binding arrays, for implementing IDIOM.

Más información

ID de Registro: 14484
Identificador DC: http://oa.upm.es/14484/
Identificador OAI: oai:oa.upm.es:14484
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 14 Feb 2013 07:35
Ultima Modificación: 21 Abr 2016 14:11
  • 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