Tesis:
Aportaciones al estudio del paralelismo y la concurrencia en la programación lógica.
- Autor: CARRO LIÑARES, Manuel
- Título: Aportaciones al estudio del paralelismo y la concurrencia en la programación lógica.
- Fecha: 2001
- Materia: Sin materia definida
- Escuela: FACULTAD DE INFORMATICA
- Departamentos: INTELIGENCIA ARTIFICIAL
- Acceso electrónico:
- Director/a 1º: HERMENEGILDO SALINAS, Manuel
- Resumen: En esta tesis se estudian medios para solventar algunos de los problemas de la programación lógica y aproximarse a 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 ejecució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.