PROGRAMACION LOGICA: TEORIA Y PRACTICA: DEPURACION, VERIFICACION, CERTIFICACION

Este libro tiene por objeto introducir a los estudiantes de Ingeniería Informática en los fundamentos y las principales técnicas desarrolladas en el campo de la Programación Lógica.
Específicamente, la obra va dirigida a alumnos de segundo o tercer curso de Ingeniería en Informática que sigan un curso de Programación Declarativa, o más específicamente uno de Programación Lógica.
El libro es apropiado para estudiantes de Ingeniería Informática o para programadores que quieran conocer las aplicaciones prácticas de la programación lógica.
La principal característica distintiva de este libro es la de aunar, en un mismo texto, tanto los fundamentos teóricos como la práctica de la programación lógica.