CONTENIDO: Una panorámica de la programación declarativa
FUNDAMENTOS
Sistemas formales, lógica y lenguajes de programación
De la demostración automática a la programación lógica (I)
introducción y métodos semánticos
De la demostración automática a la programación lógica (II) el principio de resolución de Robinson
PROGRAMACIÓN LÓGICA
Programación lógica
El lenguaje Prolog: introducción
El lenguaje Prolog: aspectos avanzados
APLICACIONES DE LA PROGRAMACIÓN LÓGICA
Representación del conocimiento
Resolución de problemas
Programación lógica y tecnología software rigurosa
Fundamentos y notaciones matemáticas
Resumen
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.
