An automatic translation scheme from prolog to the andorra kernel language

Bueno Carrillo, Francisco y Hermenegildo, Manuel V. (1992). An automatic translation scheme from prolog to the andorra kernel language. En: "International Conference on Fifth Generation Computer Systems", 1992, June 1-5, Tokyo, Japan. ISBN 9051990995.

Descripción

Título: An automatic translation scheme from prolog to the andorra kernel language
Autor/es:
  • Bueno Carrillo, Francisco
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: International Conference on Fifth Generation Computer Systems
Fechas del Evento: 1992, June 1-5
Lugar del Evento: Tokyo, Japan
Título del Libro: Fgcs '92: Fifth Generation Computer Systems 1992
Fecha: Junio 1992
ISBN: 9051990995
Volumen: 2
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

The Andorra family of languages (which includes the Andorra Kernel Language -AKL) is aimed, in principie, at simultaneously supporting the programming styles of Prolog and committed choice languages. On the other hand, AKL requires a somewhat detailed specification of control by the user. This could be avoided by programming in Prolog to run on AKL. However, Prolog programs cannot be executed directly on AKL. This is due to a number of factors, from more or less trivial syntactic differences to more involved issues such as the treatment of cut and making the exploitation of certain types of parallelism possible. This paper provides basic guidelines for constructing an automatic compiler of Prolog programs into AKL, which can bridge those differences. In addition to supporting Prolog, our style of translation achieves independent and-parallel execution where possible, which is relevant since this type of parallel execution preserves, through the translation, the user-perceived "complexity" of the original Prolog program.

Más información

ID de Registro: 14481
Identificador DC: http://oa.upm.es/14481/
Identificador OAI: oai:oa.upm.es:14481
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 14 Feb 2013 07:31
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