Introducción a la programación lógica

Opiniones de los lectores

Actualmente no hay opiniones de lectores. La calificación se basa en 5 votos.

Título original:

Introduction to Logic Programming

Contenido del libro:

Se trata de una introducción a la teoría de la programación lógica, la tecnología actual y las aplicaciones más populares. Se trata de un enfoque innovador de la programación lógica basado en la teoría de modelos.

La Programación Lógica es un estilo de programación en el que los programas toman la forma de conjuntos de sentencias en el lenguaje de la Lógica Simbólica. A lo largo de los años, ha crecido el interés por la Programación Lógica debido a sus aplicaciones en bases de datos deductivas, hojas de cálculo automatizadas, Gestión Empresarial (reglas de negocio), Derecho Computacional y Juego en General.

Comienza con la noción fundamental de conjuntos de datos, es decir, conjuntos de átomos de tierra. A partir de esta noción fundamental, introduce las vistas, es decir, las relaciones virtuales, y define los programas lógicos clásicos como conjuntos de definiciones de vistas, escritos con la notación tradicional Prolog, pero con una semántica dada en términos de conjuntos de datos y no de implementación. A continuación, introduce las acciones, es decir, las adiciones y supresiones de átomos de tierra, y define los programas lógicos dinámicos como conjuntos de definiciones de acciones.

Además del libro impreso, existe una versión en línea del texto con un intérprete y un compilador para el lenguaje utilizado en el texto y un entorno de desarrollo integrado para su uso en el desarrollo e implantación de programas lógicos prácticos.