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
Herramientas personales