Resumen de Aportaciones al estudio del paralelismo y la concurrencia en la programación lógica
En esta tesis se estudian medios para solventar algunos de los problemas de la programación lógica y aproximarse en la meta de un lenguaje (o familia de lenguajes) que permitan a un tiempo tener alto rendimiento, gran expresividad, y características avanzadas, En particular se diseñan y evalúan:
1,- Mecanismos de mejora de la ejecución paralela de lenguajes lógicos.
Los experimentos llevados a cabo arrojan una notable mejora para ciertas clases de programas muy comunes en la práctica. Asimismo se evalúa una herramienta destinada a averiguar la eficiencia de dichas ejecuciones paralelas en una serie de condiciones no siempre posibles en la práctica.
2,- Una serie de diseños e implementaciones de herramientas de visualización para programas lógicos secuenciales, paralelos y con restricciones. Están fundamentalmente dirigidos a ayudar al programador a detectar la fuente de determinados problemas de eficiencia y/o de corrección de un modo intuitivo, sin tener que conocer en profundidad el funcionamiento interno del sistema con el que se está trabajando.
3,- Una propuesta de ejecucción con concurrencia que, sin separarse excesivamente de la ejecución secuencial de Prolog, da al programador una libertad suficiente sobre el control de la ejecución.
