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 Ingenieria en Informatica que sigan un curso de Programacion Declarativa, o mas especificamente uno de Programacion Logica.El libro es apropiado para estudiantes de Ingenieria Informatica o para programadores que quieran conocer las aplicaciones practicas de la programacion logica.La principal caracteristica distintiva de este libro es la de aunar, en un mismo texto, tanto los fundamentos teoricos como la practica de la programacion logica.