Puntuación:
Actualmente no hay opiniones de lectores. La calificación se basa en 5 votos.
Introduction to Logic Programming
La Programación Lógica es un estilo de programación en el que los programas adoptan 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. Este libro presenta la teoría de la Programación Lógica, la tecnología actual y las aplicaciones más populares.
En este volumen, adoptamos un enfoque innovador de la programación lógica basado en la teoría de modelos. Comenzamos con la noción fundamental de conjuntos de datos, es decir, conjuntos de átomos de tierra. A partir de esta noción fundamental, introducimos las vistas, es decir, las relaciones virtuales, y definimos los programas lógicos clásicos como conjuntos de definiciones de vistas, escritos utilizando la notación tradicional Prolog, pero con una semántica dada en términos de conjuntos de datos en lugar de implementación. A continuación, introducimos las acciones, es decir, las adiciones y supresiones de átomos de tierra, y definimos 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.
"Este es un libro para el siglo XXI: presenta una perspectiva elegante e innovadora de la programación lógica. A diferencia de otros textos, toma los conjuntos de datos como noción fundamental, tendiendo así un puente entre los lenguajes de programación y los lenguajes de representación del conocimiento; y trata las actualizaciones en pie de igualdad con los conjuntos de datos, lo que conduce a un tratamiento sólido y práctico de la acción y el cambio." - Bob Kowalski, profesor emérito del Imperial College de Londres.
"En un mundo en el que el Deep Learning y Python están en boca de todos, este libro es un avance notable. Introduce al lector en los fundamentos de la Programación Lógica tradicional y deja claras las ventajas de utilizar la tecnología para crear especificaciones ejecutables para sistemas complejos." - Son Cao Tran, profesor de Ciencias de la Computación, Universidad Estatal de Nuevo México.
"Excelente introducción a los fundamentos de la Programación Lógica. El libro está bien escrito y estructurado. Los conceptos se explican con claridad y la complejidad gradualmente creciente de los ejercicios hace que uno pueda comprender rápidamente las nociones fáciles antes de pasar a ideas más difíciles." - George Younger, estudiante, Universidad de Stanford.
© Book1 Group - todos los derechos reservados.
El contenido de este sitio no se puede copiar o usar, ni en parte ni en su totalidad, sin el permiso escrito del propietario.
Última modificación: 2024.11.14 07:32 (GMT)