An automatic translation scheme from prolog to the andorra kernel language

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

Description

Title: An automatic translation scheme 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: International Conference on Fifth Generation Computer Systems
Event Dates: 1992, June 1-5
Event Location: Tokyo, Japan
Title of Book: Fgcs '92: Fifth Generation Computer Systems 1992
Date: June 1992
ISBN: 9051990995
Volume: 2
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 (1MB) | Preview

Abstract

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.

More information

Item ID: 14481
DC Identifier: http://oa.upm.es/14481/
OAI Identifier: oai:oa.upm.es:14481
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 14 Feb 2013 07:31
Last Modified: 21 Apr 2016 14:11
  • 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