Programación Lógica y Prolog

Sinopsis

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.