La programación declarativa implica describir un problema en lugar de proveer una solución específica, dejando la interpretación de los pasos a un intérprete. Está orientada a buscar la solución sin preocuparse por cómo llegar a ella. Los programas declarativos están formados por definiciones y ecuaciones, y usan listas como estructura de datos principal. La programación funcional es un paradigma declarativo basado en funciones matemáticas.

5. La programación declarativa es una
forma de programación que implica la
descripción de un problema dado en
lugar de proveer una solución para
dicho problema, dejando la
interpretación de los pasos específicos
para llegar a dicha solución a un
intérprete no especificado.
Están orientados a buscar la
solución del problema, sin
preocuparse por la forma de
llegar a ello.
Los programas están formados
por un conjunto de definiciones o
ecuaciones.Las variables sólo pueden tener
asignado un solo valor a lo largo
de la ejecución del programa. Las listas representan la
estructura fundamental de datos.
El orden de la ejecución no
resulta importante debido a que
no existen efectos colaterales. Las expresiones o definiciones
pueden ser usadas como valores .
El control de la ejecución no es
responsabilidad del programador.

7. La programación funcional es un
paradigma de programación
declarativa basado en la utilización
de funciones matemáticas.