Definición
Un lenguaje declarativo es un tipo de lenguaje de programación que permite expresar la lógica de un cálculo sin especificar el flujo de control. En otras palabras, indica al ordenador qué resultado se desea obtener, pero no cómo alcanzarlo.
Diferencia con los lenguajes imperativos
Los lenguajes imperativos describen paso a paso las instrucciones que la máquina debe ejecutar. En contraste, los declarativos se centran en el “qué” en lugar del “cómo”.
Áreas de aplicación
Este paradigma es frecuente en consultas a bases de datos, razonamiento en inteligencia artificial y otras tareas donde lo importante es definir el problema y dejar que el motor subyacente encuentre la solución.
Ejemplos populares
Entre los lenguajes declarativos más conocidos están SQL para consultas a bases de datos, Prolog en lógica y programación simbólica, y Haskell como lenguaje funcional puro.
