Dentro de la programación declarativa, encontramos la programación funcional y la programación lógica. La programación funcional se basa en la evaluación de funciones matemáticas y evita el estado y los efectos secundarios, mientras que la programación lógica utiliza reglas y hechos para realizar inferencias.

Diferencias entre los subparadigmas:

• Programación Funcional: Usa funciones puras y evita cambios de estado. Ejemplo: Haskell.
• Programación Lógica: Se basa en la lógica matemática y usa inferencias. Ejemplo: PROLOG.

Ejemplo de programación funcional en Haskell:

suma :: Int -> Int -> Int
suma x y = x + y

En este código, suma es una función que toma dos números y devuelve su suma.