Lenguaje de programación declarativo

De Wikipedia, la enciclopedia libre

En ciencias computacionales, Los lenguajes declarativos son 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.

Tienen como característica ser fiables, elegantes y expresivos.

Existen varios tipos de lenguajes declarativos:

• Los lenguajes lógicos, como Prolog.
• Los lenguajes algebraicos, como Maude y SQL
• Los lenguajes funcionales, como Haskell