Lenguaje de programación declarativo
De Wikipedia, la enciclopedia libre
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 está buscando, p. ej.
Tienen como característica ser fiables, elegantes y expresivos.
Existen varios tipos de lenguajes declarativos: