Modelización conceptual declarativa en un lenguaje lógico funcional avanzado


Author

Santiago Escobar, María Alpuente, and Salvador Lucas.

Abstract

Los lenguajes de programación declarativos proporcionan un estilo de programacióon potente que reduce el tiempo de desarrollo de programas y facilita su mantenimiento en comparación con los lenguajes imperativos clásicos. Estas propiedades, junto con el uso de técnicas de optimización han facilitado la aplicación industrial de los lenguajes declarativos en los últimos años. En este trabajo resolvemos un problema de modelización real en el lenguaje lógico-funcional integrado Curry, una propuesta moderna de lenguaje integrado auspiciada por una iniciativa internacional que aspira a convertir el lenguaje en un estándar para el área. La aplicación abordada consiste en la Modelización Conceptual del Ecosistema de la Cuena Hidrográfica del río Segura, una aplicación de interés tanto ecológico como educativo.

Key Words

Curry, modelización declarativa, programación declarativa, programación lógica-funcional.