Programación Lógica y Prolog
no ficcion
Un texto que ofrece una introducción detallada a la programación lógica y el lenguaje Prolog, abordando los principios teóricos y su aplicación práctica, incluyendo la semántica operativa y declarativa, unificación y resolución, y técnicas avanzadas.