Introducción a la programación lógica

Este libro presenta los fundamentos de la programación lógica y utiliza Prolog como herramienta principal, al igual que el texto de referencia.

Al explorar el lenguaje Prolog y su aplicación en inteligencia artificial, este libro complementa los principios discutidos en la obra de referencia.

Se centra en la lógica de primer orden y su uso como paradigma computacional, alineándose con los fundamentos de la programación lógica del libro de referencia.

Introduce la programación lógica y enfatiza el uso de Prolog, mostrando enfoques prácticos que resuenan con los temas esenciales del libro de referencia.

Este texto destaca los conceptos fundamentales de Prolog, enfatizando su naturaleza declarativa, lo que refuerza las ideas centrales en la introducción a la programación lógica.