Programación funcional y lógica con restricciones

TL;DRAbstract

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 le

Chat with Paper

AI Agents for this Paper