Lo que acabamos de aprender es que el paradigma lógico nos presenta un modelo de lógica cuantificada: implícitamente, cuando decimos algo en este paradigma, estamos diciendo que existe una forma de probar que algo es verdadero.
Pero utilizando los predicados de orden superior not y forall, podemos además cuantificar nuestras condiciones: expresar que no deben cumplirse para ningún caso o para todos los casos.
Y también vimos una diferencia importante entre la idea de orden superior en funcional y en lógico:
- en funcional se trata de escribir funciones que reciben otras funciones por parámetro.
- en lógico, se trata de escribir predicados... ¡que reciben consultas!
De a poco el paradigma logico se está volviendo más interesante, ¿no? Ahora es hora de entender cómo modelar información más compleja.
¡Te esperamos en la próxima lección!