Traducción libre del artículo Declarative programming [en] hecha por mí. Se aceptan críticas y sugerencias

La programación declarativa es una forma de programación que implica la descripción de un problema dado en lugar de proveer una solucion para dicho problema, dejando la interpretación de los pasos específicos para llegar a dicha solución a un interprete no especificado. La programación declarativa adopta, por lo tanto, un enfoque diferente al de la programación imperativa tradicional, como por ejemplo el caso de C, la que requiere que el programador especifique un lista completa de instrucciones de modo de ejecutar una tarea determinada.

En otras palabras, la programación declarativa provee el “que”, pero deja el “como” liberado a la implementación particular del interprete. Por lo tanto se puede ver que la programación declarativa tiene dos fases bien diferenciadas, la declaración y la interpretación.

Es importante señalar que a pesar de referirnos a interprete no estamos limitados a “lenguajes interpretados” en el sentido habitual del termino, sino que tambien podemos estar trabajando con “lenguajes compilados”.

Los lenguajes declarativos describen la relación entre variables en terminos de funciones y reglas de inferencia o transformación. El interprete produce, mediante algoritmo de procesado de estas delcaraciones, un resultado.
La programación declarativa incluye tanto aspectos de programación lógica como de programación funcional. La programación declarativa fue tambien conocida como “programación orientada al valor”, pero este termino ha dejado de usarse ultimamente.

Desventajas de la programación declarativa

La principal desventaja de la programación declarativa es que no es Turing-complete, o sea no puede resolver cualquier problema dado que está restringida al subconjunto de problemas para los que el interprete fue diseñado.

Otra desventaja de la programación declarativa está relacionada con la eficiencia. Dado que es necesaria una fase de interpretación extra, en la cual se deben evaluar todas las consecuencias de todas las declaraciones realizadas,el proceso es relativamente más lento que en la programación imperativa, en que los cambios de estado del sistema están dado por instrucciones particulares y no por un conjunto de condiciones arbitrariamente grande.

Ventajas

A pesar de lo anterior existen algunas ventajas en el uso de la programación declarativa. Entre las ventajas se destaca que la solución de un problema se puede realizar con un nivel de abstracción considerablemente alto, sin entrar en detalles de implementacion irrelevantes, lo que hace a la soluciones más facil de entender por las personas. La resolución de problemas complejos es resuelta por el interprete a partir de la declaración de las condiciones dadas.

La programación declarativa es muy usada en la resolución de problemas relacionados con inteligencia artificial, problemas de condiciones de borde, bases de datos, configuración, y comunicación entre procesos, sin embargo ningun leguaje declarativo se aproxima en popularidad a los lenguajes imperativos

Ejemplos de lenguajes declarativos

Algunos de los lenguajes declarativos más conocidos son:

• Prolog
• SQL
• HTML
• WSDL (Web Services Description Language)
• XML Stylesheet Language for Transformation