Next: Plataforma de ejecución paralela:
Up: Actividades realizadas
Previous: Actividades realizadas
Con el objeto de
poder estudiar la paralelización tanto de la programación
lógica como de la programación con restricciones se ha
extendido el lenguaje &-Prolog (que ya aumentaba ISO-Prolog con primitivas
para programación paralela) de manera que ahora permite combinar
los paradigmas lógico y de restricciones y permite la
programación paralela en ambos. Esto hace posible formular todos
los procesos de paralelización y optimización como una
transformación de fuente de fuente dentro de &-Prolog (además,
obviamente, de permitir escribir directamente programas paralelos). Se
ha incorporado también un lenguaje de anotaciones
[BCHP96], que permite la comunicación entre los
analizadores del compilador y el usuario. Estas anotaciones
también permiten combinar el desarrollo de grandes programas de
forma modular con las técnicas de análisis global de
programas. El proyecto se ha desarrollado utilizando el lenguaje
resultante de estas extensiones como lenguaje de trabajo. Asimismo, se
han diseñado una serie de extensiones adicionales que permiten la
programación multiparadigma y distribuida, dando como resultado el
lenguaje Ciao-Prolog [HtCg94, HBGP95], que será objeto de
desarrollo y estudio por el grupo en el futuro.
<webmaster@clip.dia.fi.upm.es>
Last Modified: Fri May 9 17:59:16 MET DST 1997