Multipathun sistema para la programación lógica

Résumé

LA TESIS DOCTORAL DEFINE EL SISTEMA MULTIPATH, QUE ESTA ORIENTADO A LA EJECUCION DE PROGRAMAS ESCRITOS EN LENGUAJE PROLOG, EL DISEÑO DE MULTIPATH SE HA REALIZADO TENIENDO COMO PRINCIPAL PUNTO DE MIRA INCREMENTAR LA EFICACIA EN LA EJECUCION DE AQUELLOS PROGRAMAS QUE POSEEN UN CIERTO GRADO DE INDETERMINISMO. LAS APORTACIONES MAS RELEVANTES CONSISTEN EN LA DEFINICION E IMPLEMENTACION DE UNA ESTRATEGIA DE RECORRIDO DEL ARBOL DE BUSQUEDA ASOCIADO AL PROGRAMA, QUE SE DENOMINA EXPLORACION PARCIAL EN ANCHURA A NIVEL DE OBJETIVOS, Y EN LA REALIZACION DE TECNICAS DE REDUCCION DEL ARBOL DE BUSQUEDA. AMBAS APORTACIONES SE BASAN EN UN ANALISIS GLOBAL DE DETERMINISMO Y DE TIPOS DE DATOS DEL PROGRAMA. MULTIPATH SE DESCRIBE UTILIZANDO UN ENFOQUE VERTICAL, CON DOS NIVELES SEMANTICOS ADICIONALES ANTES DE PASAR A LA REALIZACION CONCRETA DEL SISTEMA. ESTOS NIVELES SE DENOMINAN MODELO DE EJECUCION Y MODELO ARQUITECTONICO DE MULTIPATH. LA IMPLEMENTACION FINAL DE MULTIPATH SE HA REALIZADO EN UNA PLATAFORMA HARDWARE SECUENCIAL Y EN OTRA PARALELA. LA CONCLUSION MAS IMPORTANTE ES LA DEMOSTRACION QUE UNA EXPLORACION EN ANCHURA ES MAS EFICIENTE QUE LA EXPLORACION EN PROFUNDIDAD REALIZADA POR LOS SISTEMAS CONVENCIONALES TAMBIEN ORIENTADOS A LA EJECUCION DE PROLOG.