La Programación Declarativa, en contraposición a la programación imperativa es un paradigma de programación que está basado en el desarrollo de programas especificando o "declarando" un conjunto de condiciones, proposiciones, afirmaciones, restricciones, ecuaciones o transformaciones que describen el problema y detallan su solución. La solución es obtenida mediante mecanismos internos de control, sin especificar exactamente cómo encontrarla (tan sólo se le indica a la computadora que es lo que se desea obtener o que es lo que se está buscando). No existen asignaciones destructivas, y las variables son utilizadas con Transparencia referencial

(Wikipedia)

El objetivo del presente trabajo es presentar una colección de ejercicios para la asignatura "Programación declarativa" de tercer curso de la Ingeniería Informática.

Todos los ejercicios se han comprobado usando la versión 5.6.18 de SWI Prolog.