PROGRAMACION LOGICA, TEORIA Y PRACTICA

Sinopsis

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.

Indice

1. Una panorámica de la programación declarativa

2. Sistemas formales, lógica y lenguajes de programación

3. De la demostración automática a la programación lógica (I):

4. De la demostración automática a la programación lógica (II): el principio de resolución de Robinson

5. Programación lógica

6. El lenguaje Prolog: introducción

7. El lenguaje Prolog: aspectos avanzados

8. Representación del conocimiento

9. Resolución de problemas

10. Programación lógica y tecnología software rigurosa.

Información bibliográfica

ISBN: 9788483223680

AUTOR: PASCUAL

EDITORIAL: PEARSON

 AÑO: 2007

ÁREA: COMPUTACION