He actualizado la sección de apuntes de Programación Declarativa, añadiendo un manual de ProLog algo más completo que el que ya puse a vuestra disposición con anterioridad.

Espero que os sirva, un saludo.