Un modelo para el calculo paralelo de deducciones en lógica de predicados

Abstract

El objetivo de la programación lógica paralela es aprovechar al máximo las fuentes de paralelismo que ofrecen los programas lógicos. De estas las dos más 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, denominándose en este caso paralelismo AND independiente o restringido. El segundo permite explotar a la vez todas las reglas con la misma conclusión. En esta tesis presentamos un modelo de interpretación de programas lógicos que explota las dos fuentes de paralelismo anteriores. Después de un estudio de algunos de los modelos más significativos que han sido propuestos en los últimos años, hemos identificado algunos problemas importantes para los cuales se pueden ofrecer soluciones alternativas, como son la representación de las soluciones múltiples que se producen como consecuencia del paralelismo OR, y el cálculo y representación de la ordenación 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 representación de la información: la red de procesos y soluciones para el primero y el retículo de flujo de datos para el segundo. Estas estructuras nos han permitido diseñar un nuevo modelo de interpretación que presenta algunas ventajas con respecto a otros similares. Por ejemplo la compactación de la información relativa a las soluciones, la reducción del espacio de búsqueda y la posibilidad de explotar algunas fuentes secundarias de paralelismo. Algunas de las cuales han sido puestas de manifiesto a través de una simulación del modelo.