Aunque ambos libros tratan sobre programación lógica, la obra de Iranzo y Alpuente ofrece una perspectiva más académica y exhaustiva, abarcando la teoría fundamental y la aplicación práctica de la programación lógica en general, no solo centrándose en Prolog, lo que la hace menos obvia que otros manuales directamente orientados a Prolog.
Programación lógica con Prolog
por Antonio López de la Rica · 1990
Sinopsis
Este libro introduce los conceptos fundamentales de la programación lógica usando Prolog, un lenguaje declarativo que se diferencia radicalmente de los lenguajes imperativos tradicionales.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Mientras que el libro de referencia es una introducción general a la programación lógica con Prolog, este texto profundiza en los mecanismos fundamentales de Prolog (unificación, backtracking, estructuras de datos) y sus aplicaciones en Inteligencia Artificial, proporcionando una comprensión más profunda de la "arquitectura de pensamiento" detrás del lenguaje.
Este libro expande el contexto del libro de referencia al posicionar la programación lógica dentro del paradigma declarativo y conectarla directamente con la Inteligencia Artificial, explorando conceptos como el razonamiento por defecto y el procesamiento del lenguaje natural, lo que permite una reflexión más profunda sobre el propósito y la filosofía subyacente de Prolog.
Aunque Alonso Jiménez es un autor reconocido en el ámbito académico español, este documento específico es una "introducción" concisa, no un libro comercial ampliamente difundido, lo que le otorga un carácter más oscuro. Se enfoca en detalles técnicos como la deducción SLD y la traza, que son fundamentales pero a veces obviados en introducciones más generales.
Similar a la razón anterior, este 'Tema 1' es un material de curso universitario, lo que lo hace menos visible que un libro publicado. Proporciona una perspectiva pedagógica específica sobre la introducción a Prolog, con un enfoque en los objetivos del curso y la distinción entre programación declarativa e imperativa que puede no encontrarse en manuales más genéricos.
Aunque el libro de referencia es una introducción a Prolog, Bratko representa un enfoque estructural distinto al ser un texto clásico y exhaustivo. Su estructura permite ver cómo un tema como Prolog se puede abordar para una aplicación de mayor envergadura (IA), mostrando patrones de organización y presentación de conceptos que van más allá de una simple introducción.