Se les conoce como lenguajes declarativos en ciencias computacionales aquellos lenguajes de programación en los cuales se le indica a la computadora que es lo que se desea obtener o que es lo que se esta buscando, p. ej. Obtener los nombres de todos los empleados que tengan más de 32 años. Algunos ejemplos de lenguajes declarativos son el SQL, las expresiones regulares, Prolog o Haskell.



via together http://enciclopedia_universal.esacademic.com/10241/Lenguaje_de_programaci%C3%B3n_declarativo