An automatic translation scheme from CLP to AKL

Bueno Carrillo, Francisco and Hermenegildo, Manuel V. (1995). An automatic translation scheme from CLP to AKL. Monografía (Working Paper). Facultad de Informática (UPM), Madrid, Spain.


Title: An automatic translation scheme from CLP to AKL
  • Bueno Carrillo, Francisco
  • Hermenegildo, Manuel V.
Item Type: Monograph (Working Paper)
Date: June 1995
Freetext Keywords: Constraints, Concurrent constraint programming, AKL, Program Transformation, Limitaciones, Programación restringida concurrente, Transformación de programas.
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

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

Alternative locations

Official URL:


The Andorra Kernel language scheme was aimed, in principle, at simultaneously supporting the programming styles of Prolog and committed choice languages. Within the constraint programming paradigm, this family of languages could also in principle support the concurrent constraint paradigm. This happens for the Agents Kernel Language (AKL). On the other hand, AKL requires a somewhat detailed specification of control by the user. This could be avoided by programming in CLP to run on AKL. However, CLP 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 a translation scheme which is a basis of an automatic compiler of CLP programs into AKL, which can bridge those differences. In addition to supporting CLP, 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 program.

More information

Item ID: 15064
DC Identifier:
OAI Identifier:
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 05 May 2013 07:38
Last Modified: 21 Apr 2016 15:09
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM