Programación Declarativa

El paradigma declarativo es un paradigma de la programación basado en el desarrollo de programas "declarando" un conjunto de proposiciones, afirmaciones, restricciones o ecuaciones que describen el problema y detallan su solución.

1. Funciones de orden mayor : todos los programas están constituidos mediante definición de funciones puramente matemáticas. Así se dice que una función es de orden mayor si recibe como argumento una función o regresa una función como resultado.

2. Evaluación perezosa: que consiste en que si el resultado de evaluar el primer operando permite deducir el resultado de la operación, entonces no se evalúa el segundo y se devuelve dicho resultado directamente.

3. Lógica de predicados: Utiliza una única regla de inferencia llamada principio de resolución, mediante la cual la prueba de un teorema se puede hacer automáticamente. Esta regla se aplica sobre las formulas surgidas de la lógica de primer orden (lpo) y la demostración de teoremas mediante esta regla de inferencia se lleva a cabo por la reducción al absurdo.

4. Cláusulas de Horn: son reglas del tipo "modus ponendo ponens", es decir, "Si es verdad el antecedente, entonces es verdad el consecuente". Así las cláusulas de Horn son una forma restringida de lógica de predicados con una única conclusión por cláusula. Por ejemplo la regla:

abuelo(X,Y)
padre(X,Z) ^ padre(Z,Y)

Establece que si X es el padre de un Z y éste Z es a su vez padre
de Y, entonces X es abuelo de Y


Fuentes:

• Apuntes de la Universidad de Valencia
• Monografía sobre los paradigmas de programación