Este documento presenta ejercicios de programación declarativa en Prolog. Cubre temas como operaciones con listas, aritmética, estructuras de datos, retroceso, corte y negación, programación lógica de segundo orden, estilo y eficiencia en programación lógica. El documento está licenciado bajo Creative Commons para su copia, distribución y modificación siempre que se reconozcan los créditos.