Ampliación del lenguaje fuente:

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.