Descripción

La programación declarativa se basa en la idea de utilizar un cierto tipo de lógica como lenguaje de programación. Esto incluye tanto la programación lógica $o relacional, que usa un lenguaje clausal para programar y el principio de resolución como mecanismo de ejecución$ como la funcional $que usa el lenguaje de las funciones matemáticas y la reducción de expresiones como mecanismo computacional$.

Este libro aspira a desarrollar una presentación básica completa del paradigma de la programación lógica. Así, aunque se dedica una gran atención a los conceptos de base y se proporciona para ellos una formación en amplitud no exenta de profundidad, también se concede gran importancia a las aplicaciones prácticas.

La obra se ajusta a un esquema de presentación $estándar$ de un curso introductorio de programación lógica en las Escuelas de Ingeniería Informática. Las características que la distinguen son:
-Desarrollo soportado por sólidas bases formales
-Equilibro entre los contenidos formales y los prácticos
-Soporte para métodos formales ligeros
-Obra autocontenida

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.