Un lenguaje declarativo es un tipo de lenguaje de programación basado más en las matemáticas y en la lógica que los lenguajes imperativos, más cercanos estos al razonamiento humano. Los lenguajes declarativos no dicen cómo hacer una cosa, sino, más bien, qué cosa hacer. A diferencia de los imperativos, no suele haber declaración de variables ni tipos.

Ejemplo de un programa en un lenguaje declarativo: Este sería el código de un programa que determina el factorial de un número en un lenguaje declarativo inventado

  factorial(0) = 1
  factorial(n) = n*factorial(n-1)

MÁS INFO