Towards an automatic translation algorithm from Prolog to the Andorra Kernel Language

Bueno Carrillo, Francisco and Hermenegildo, Manuel V. (1991). Towards an automatic translation algorithm from Prolog to the Andorra Kernel Language. In: "6° Convegno sulla Programmazione Logica (GULP '91 )", 12-14 Jun 1991, Pisa, Italia. pp. 438-503.

Description

Title: Towards an automatic translation algorithm from Prolog to the Andorra Kernel Language
Author/s:
  • Bueno Carrillo, Francisco
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 6° Convegno sulla Programmazione Logica (GULP '91 )
Event Dates: 12-14 Jun 1991
Event Location: Pisa, Italia
Title of Book: GULP '91: Atti del 6º Convegno sulla Programmazione Logica
Date: 1991
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (3MB) | Preview

Abstract

The Andorra family of languages (which includes the Andorra Kernel Language -AKL) offers the advantage of supporting simultaneously the programming styles of Prolog and committed choice languages. However, Prolog programs cannot be executed directly on the 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. These differences can be bridged, however, through program analysis and transformation. This paper provides basic guidelines for constructing an automatic compiler of Prolog programs into AKL. First we revisit the Andorra Kernel Language flow of control and then introduce t he basic translation paradigms for dealing with each type of transformation needed. Finally, we present a basic translation algorithm. The translation process benefits from an abstract interpretation-based global analysis of the program. We also put special attention on a style of translation which attempts to achieve independent and-parallel execution where possible, since this type of parallel execution preserves through the translation the user-perceived "complexity" of the originai Prolog program. This process is simplified in part by making use of some compile-time analysis technology developed in the context of the &-Prolog compiler.

More information

Item ID: 55461
DC Identifier: http://oa.upm.es/55461/
OAI Identifier: oai:oa.upm.es:55461
Official URL: https://www.programmazionelogica.it/wp-content/uploads/2015/10/GULP1991_438_503.pdf
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 17 Jun 2019 11:32
Last Modified: 17 Jun 2019 11:32
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM