Tienda Online
Seleccione una categoría
eBook
Disponibilidad: En existencia
ISBN: 9788483222119
Precio sin IVA:
$ 63.000,00

Edición: 1
Copyright: 2007
Páginas: 0


Programación Lógica. Teoría Y Practica (eBook)


By Julian

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.


Contenido:
Capítulo 1 Una panorámica de la programación declarativa
Capítulo 2 Sistemas formales, lógica y lenguajes de programación
Capítulo 3 De la demostración automática a la programación lógica (I): Introducción y métodos semánticos
Capítulo 4 De la demostración automática a la programación lógica (II): El principio de resolución de Robinson
Capítulo 5 Programación lógica
Capítulo 6 El lenguaje Prolog: Introducción
Capítulo 7 El lenguaje Prolog: Aspectos avanzados
Capítulo 8 Representación del conocimiento
Capítulo 9 Resolución de problemas
Capítulo 10 Programación lógica y tecnología software rigurosa
Apéndice
Bibliografía
Indice