Práctica final de Programación Declarativa

En este repositorio está la solución de la práctica final de PD del curso 2020/2021 (enunciado incluido).

Nota de la práctica: 10/10

Resumen del enunciado

Consiste en crear un tipo para representar relaciones en Haskell y definir las siguientes funciones:

• Comprobar si r es una relación o no
• Conjunto dominio de una relación
• Conjunto soporte de una relación
• Comprobar si r es una relación de equivalencia
• Calcular el conjunto cociente
• Crear la relación x divide a y
• Crear la relación >= de los elementos de una lista
• Composición de relaciones
• Introducir una relación por consola (entrada/salida)
• Mostrar una relación por consola

Solo se usan funciones del módulo Prelude y se intenta evitar la recursión en favor de funciones de orden superior y listas intensionales.