1. 1. La programacin declarativa es una forma de programacin que implica la descripcin de un problema dado en lugar de proveer una solucin para dicho problema, dejando la interpretacin de los pasos especficos para llegar a dicha solucin a un intrprete no especificado. Estn orientados a buscar la solucin del problema, sin preocuparse por la forma de llegar a ello. Los programas estn formados por un conjunto de definiciones o ecuaciones.Las variables slo pueden tener asignado un solo valor a lo largo de la ejecucin del programa. Las listas representan la estructura fundamental de datos. El orden de la ejecucin no resulta importante debido a que no existen efectos colaterales. Las expresiones o definiciones pueden ser usadas como valores . El control de la ejecucin no es responsabilidad del programador.
2. 2. La programacin funcional es un paradigma de programacin declarativa basado en la utilizacin de funciones matemticas.