Tesis doctoral de Francisco Javier Lopez Fraguas
En este trabajo presentamos e investigamos el esquema teorico cflp(x) para la programacion logico funcional perezosa con restricciones. Cada estructura con restricciones x, que consiste en un dominio de scott como soporte mas un conjunto de operaciones predefinidas continuas, determina una instancia del esquema. Los programas en cflp(x) estan constituidos por reglas de reescritura con restricciones para definir nuevas funciones. Se desarrolla una semantica declarativa de modelo minimo, caracterizado tambien como minimo punto fijo, y una semantica operacional basada en un mecanismo de computo – estrechamiento perezoso por restricciones – del que se prueban resultados de correccion y completitud con respecto a la semantica declarativa. Probamos tambien que, bajo hipotesis razonables, el estrechamiento por restricciones se puede combinar con un sistema de resolucion de restricciones, preservando la correccion y la completitud. En una segunda parte se aplican los resultados obtenidos al lenguaje sfl , que incorpora restricciones de desigualdad a la programacion logico funcional perezosa. Se muestra que sfl puede ser concebido como la instancia de cflp(x) que tiene al universo de herbrand infinitario como soporte, dotado de restricciones de igualdad y desigualdad, mas las operaciones primitivas necesarias para expresar de forma continua la unificacion. De este modo, hereda las propiedades generales del esquema. Finalmente se presenta, en forma de clausulas, una especificacion de la semantica operacional, que se convierte en un programa prolog ejecutable al adoptar una adecuada representacion de las expresiones, dando lugar a una implementacion del lenguaje.
Datos académicos de la tesis doctoral «Programacion funcional y logica con restricciones«
- Título de la tesis: Programacion funcional y logica con restricciones
- Autor: Francisco Javier Lopez Fraguas
- Universidad: Complutense de Madrid
- Fecha de lectura de la tesis: 01/01/1994
Dirección y tribunal
- Director de la tesis
- Mario Rodríguez Artalejo
- Tribunal
- Presidente del tribunal: De Frutos Escrig David
- Robert Lukas Mario Nieuwenhuis (vocal)
- Jaume Agustí Cullell (vocal)
- María Alpuente Frasnedo (vocal)