Los resultados del proyecto incluyen, además del primer sistema integrado capaz de paralelizar automáticamente y ejecutar en paralelo tanto programas lógicos como de restricciones, los siguientes: un diseño de un lenguaje de anotaciones que permite el análisis global de programas de tamaño arbitrario. Nuevos métodos de manejo de memoria y estudio de su eficiencia. Nuevas técnicas de combinación de tipos de paralelismo. Nuevas técnicas para explotar paralelismo de datos. Los primeros resultados teóricos de corrección y eficiencia para la independencia estricta y no estricta. Los primeros algoritmos de paralelización usando expresiones lineales a partir de grafos de dependencias condicionales, y un estudio de su eficiencia. El primer paralelizador automático para independencia no estricta. El primer estudio exhaustivo de la eficiencia de la paralelización automática de programas lógicos en tiempo de compilación. La primera comparación de la utilidad de diversos dominios de análisis en la tarea de paralelización. La primera solución que permite el análisis global de todo ISO-Prolog. Un análisis de no-fallo más preciso que los propuestos anteriormente. El primer método de análisis global incremental. El primer especializador múltiple abstracto para programas lógicos y un estudio de su eficiencia en paralelización. El primer sistema automático de control de granularidad mediante análisis de coste. Una técnica nueva para el cálculo dinámico de tamaños de datos. Nuevas técnicas de visualización de ejecuciones paralelas.