Programación declarativa

Este paradigma se enfoca en la definición de lo que se quiere que haga un programa, en lugar de cómo se debe hacer. La programación declarativa se enfoca en describir el problema y sus restricciones, sin especificar explícitamente cómo se debe resolver. En lugar de esto, se le dice al programa lo que se desea obtener, y el programa utiliza un motor de inferencia para deducir la solución. La programación declarativa se enfoca en el "qué" del problema, en lugar del "cómo".

Hay varios sub-paradigmas dentro de la programación declarativa, como la programación lógica, la programación funcional y la programación basada en restricciones.