Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa |
Bueno Carrillo, Francisco ORCID: https://orcid.org/0000-0002-5460-5537 and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (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.
Título: | An automatic translation scheme from prolog to the andorra kernel language |
---|---|
Autor/es: |
|
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 |
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa |
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.
ID de Registro: | 14481 |
---|---|
Identificador DC: | https://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: | 27 Feb 2023 12:04 |