Automatic exploitation of non-determinate independent and-parallelism in the basic andorra model

Olmedilla Arregui, Juan José; Bueno Carrillo, Francisco y Hermenegildo, Manuel V. (1994). Automatic exploitation of non-determinate independent and-parallelism in the basic andorra model. En: "LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation", 7–9 July 1993, Louvain-la-Neuve, Belgium. ISBN 9781447132349.

Descripción

Título: Automatic exploitation of non-determinate independent and-parallelism in the basic andorra model
Autor/es:
  • Olmedilla Arregui, Juan José
  • Bueno Carrillo, Francisco
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation
Fechas del Evento: 7–9 July 1993
Lugar del Evento: Louvain-la-Neuve, Belgium
Título del Libro: Logic-Based Program Synthesis and Transformation
Fecha: 1994
ISBN: 9781447132349
Materias:
Palabras Clave Informales: language constructs, programming environments, formal program development methodologies, implementation issues, evaluation, simulation and benchmarking, construcciones lingüísticas, entornos de programación, metodologías formales de desarrollo de programas, cuestiones de aplicación, evaluación, simulación y evaluación comparativa.
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 (754kB) | Vista Previa

Resumen

Andorra-I is the first implementation of a language based on the Andorra Principie, which states that determinate goals can (and shonld) be run before other goals, and even in a parallel fashion. This principie has materialized in a framework called the Basic Andorra model, which allows or-parallelism as well as (dependent) and-parallelism for determinate goals. In this report we show that it is possible to further extend this model in order to allow general independent and-parallelism for nondeterminate goals, withont greatly modifying the underlying implementation machinery. A simple an easy way to realize such an extensión is to make each (nondeterminate) independent goal determinate, by using a special "bagof" constract. We also show that this can be achieved antomatically by compile-time translation from original Prolog programs. A transformation that fulfüls this objective and which can be easily antomated is presented in this report.

Más información

ID de Registro: 14470
Identificador DC: http://oa.upm.es/14470/
Identificador OAI: oai:oa.upm.es:14470
URL Oficial: http://link.springer.com/chapter/10.1007%2F978-1-4471-3234-9_16
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 13 Feb 2013 07:30
Ultima Modificación: 21 Abr 2016 14:10
  • 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