Un modelo para el cálculo paralelo de deducciones en lógica de predicados

Resumen

EL OBJETIVO DE LA PROGRAMACION LOGICA PARALELA ES APROVECHAR AL MAXIMO LAS FUENTES DE PARALELISMO QUE OFRECEN LOS PROGRAMAS LOGICOS, DE ESTAS LAS DOS MAS IMPORTANTES SON EL PARALELISMO AND Y EL OR. EL PRIMERO CONSISTE EN EVALUAR SIMULTANEAMENTE VARIOS PREDICADOS DE DE UNA PREGUNTA QUE NORMALMENTE NO COMPARTEN VARIABLES LIBRES, DENOMINANDOSE EN ESTE CASO PARALELISMO AND INDEPENDIENTE O RESTRINGIDO. EL SEGUNDO PERMITE EXPLOTAR A LA VEZ TODAS LAS REGLAS CON LA MISMA CONCLUSION. EN ESTA TESIS PRESENTAMOS UN MODELO DE INTERPRETACION DE PROGRAMAS LOGICOS QUE EXPLOTA LAS DOS FUENTES DE PARALELISMO ANTERIORES. DESPUES DE UN ESTUDIO DE ALGUNOS DE LOS MODELOS MAS SIGNIFICATIVOS QUE HAN SIDO PROPUESTOS EN LOS ULTIMOS AÑOS, HEMOS IDENTIFICADO ALGUNOS PROBLEMAS IMPORTANTES PARA LOS CUALES SE PUEDEN OFRECER SOLUCIONES ALTERNATIVAS, COMO SON LA REPRESENTACION DE LAS SOLUCIONES MULTIPLES QUE SE PRODUCEN COMO CONSECUENCIA DEL PARALELISMO OR, Y EL CALCULO Y REPRESENTACION DE LA ORDENACION PARCIAL DE LOS PREDICADOS PARA REALIZAR EL PARALELISMO AND INDEPENDIENTE. EN ESTE TRABAJO DESARROLLAMOS SOLUCIONES NUEVAS A LOS DOS PROBLEMAS ANTERIORES MEDIANTE EL USO DE ESTRUCTURAS ORDENADAS PARA LA REPRESENTACION DE LA INFORMACION: LA RED DE PROCESOS Y SOLUCIONES PARA EL PRIMERO Y EL RETICULO DE FLUJO DE DATOS PARA EL SEGUNDO. ESTAS ESTRUCTURAS NOS HAN PERMITIDO DISEÑAR UN NUEVO MODELO DE INTERPRETACION QUE PRESENTA ALGUNAS VENTAJAS CON RESPECTO A OTROS SIMILARES. POR EJEMPLO LA COMPACTACION DE LA INFORMACION RELATIVA A LAS SOLUCIONES, LA REDUCCION DEL ESPACIO DE BUSQUEDA Y LA POSIBILIDAD DE EXPLOTAR ALGUNAS FUENTES SECUNDARIAS DE PARALELISMO. ALGUNAS DE LAS CUALES HAN SIDO PUESTAS DE MANIFIESTO A TRAVES DE UNA SIMULACION DEL MODELO.