Lenguajes declarativos

Definición inicial

Lenguajes que permiten expresar principalmente qué relación o resultado se desea, delegando parte del orden de ejecución al sistema.

Ejemplo mínimo

En Prolog se describen hechos y reglas; el motor busca una demostración para la consulta en lugar de recibir una secuencia completa de pasos.

Límite

La distinción no es absoluta: un programa declarativo también tiene costos y un orden operacional, aunque no siempre aparezcan explícitos.

Relaciones

• Contrasta con: Lenguajes imperativos.
• Incluye paradigmas funcionales y lógicos.

Procedencia

• Clase: Definiciones básicas y técnicas de programación.
• Fuente: diapositiva 6.

Para completar

• Comparar Haskell y Prolog mediante el mismo problema pequeño.