Alan Robinson

Introducción fundamental a los principios de la programación lógica y los métodos de demostración automatizada, especialmente la resolución, que forma la base de lenguajes como Prolog.

Una obra enciclopédica en varios volúmenes que cubre la teoría, la implementación y las aplicaciones del razonamiento automatizado, con contribuciones de expertos clave en el campo.