Principios de la Programación Lógica

Aborda los principios fundamentales de la programación lógica y su aplicación en Prolog, al igual que el libro de referencia.

Ofrece una estructura integral que cubre desde lo básico hasta lo avanzado en Prolog, similar a la exhaustividad del texto de Shapiro.

Explora la teoría de la programación lógica, incluyendo fundamentos matemáticos que también se discuten en los principios de Shapiro.

Introduce conceptos teóricos aplicados al lenguaje Prolog, enfatizando la conexión entre lógica y algoritmos, al igual que en el libro de referencia.

Se centra en la lógica de primer orden como base teórica, resonando con el enfoque analítico del libro de Shapiro sobre programación lógica.

Presenta un enfoque declarativo hacia la programación lógica a través de Prolog, alineándose con el mismo paradigma que Shapiro establece en su obra.