Modularidad en programación lógico-funcional de primer orden

Résumé

Esta tesis seocupa de una propuesta de lógica de reescritura condicional basada en el uso de constructoras presentada recientemente por J,C. González Moreno,M.T, Hortalá Gonzalez, F. López Fraguas y M. Rodriguez Artalejo con la intención de que sirva como base para la programación lógico-funcional del primer orden con funciones indeterministas y objetos infinitos. Las aportaciones que se hacen a esta propuesta consisten en un estudio detallado de la estructura de los conjuntos de modelos que se utilizan y la definición de un sistema de módulos para la estructuración de los programas en cicha lógica. En concreto, se demuestra la existencia de modelos continuos y se estudian los modelos de términos caracterizándolos como puntos prefijos de un operador de consecuencias inmediatas. También se define una noción simple de módulo como programa abierto junto con un conjunto reducido de operaciones(unión, renombramiento, eliminación de signatura y clausura), descritas a nivel sintáctico, que permiten expresar nociones más coplejas de módulo así como relaciones típicas tales como la importación, la instanciación o la herencia con sobreescritura y una relación nueva: la parametrización. Este estudio de modularidad se acompaña de un estudio de semánticas posibles para el sistema de módulos con las operaciones básicas y con una función de observación adecuada, determinando finalmente una semántica composicional y completamente abstracta.