Principios de la teoría de la programación lógica

Este libro ofrece una introducción exhaustiva a la programación lógica, similar a la exploración de fundamentos matemáticos en la obra de Jaffar.

Al igual que Jaffar, este texto presenta los principios de la programación lógica y se centra en la teoría y aplicaciones de lenguajes como Prolog.

Cohen profundiza en los fundamentos teóricos de la programación lógica, reflejando el enfoque de Jaffar en la lógica formal aplicada a la resolución de problemas.

Waldinger y Manna comparan la lógica matemática con la programación, alineándose con el interés de Jaffar en usar la lógica para la verificación formal de programas.

Lloyd explora la lógica de primer orden como base de la programación lógica, similar a la estructura teórica que establece Jaffar en su obra.

Peña se enfoca en la lógica matemática aplicada a la verificación de programas, en línea con la perspectiva de Jaffar sobre la teoría de la programación lógica.