por Ivan Bratko · 1986
Sinopsis
Un texto fundamental que introduce los principios de la programación lógica y el lenguaje Prolog, mostrando cómo se pueden representar y resolver problemas complejos utilizando un enfoque declarativo.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo
Libros relacionados según distintos criterios de búsqueda
Luca Boldrin, Alessandro Cignoni·2011·no ficcion
Aunque no es directamente sobre Prolog, este libro conecta la lógica deductiva, pilar de la programación lógica, con un enfoque inesperado de resolución de problemas. En lugar de centrarse en un lenguaje específico, enfatiza la mentalidad lógica que Bratko busca cultivar, pero desde una perspectiva más metafórica y narrativa.
Donald E. Knuth·2011·no ficcion
Mientras Bratko se enfoca en la programación lógica, Knuth aborda los fundamentos matemáticos y algorítmicos profundos, que son esenciales para comprender la eficiencia y el diseño de cualquier paradigma de programación. Es una inmersión en la 'ciencia dura' detrás del 'arte' de programar, menos directa que otros libros de lógica, pero fundamental para entender los 'principios' subyacente.
Douglas R. Hofstadter·1979·filosofia
Este libro comparte con Bratko una exploración profunda de los principios subyacentes a la computación y la lógica, aunque desde una perspectiva mucho más amplia y filosófica. Ambos investigan cómo los sistemas formales (ya sea la lógica de Prolog o los teoremas de Gödel) pueden generar complejidad y significado, tocando las raíces filosóficas de la inteligencia artificial y el razonamiento.
Luciano Floridi·1999·ensayo
Mientras Bratko se enfoca en cómo un lenguaje lógico permite construir sistemas inteligentes, Floridi profundiza en el 'por qué' y el 'qué' de la inteligencia artificial, explorando las implicaciones filosóficas. Ambos convergen en la idea de que la estructura lógica y la representación del conocimiento son fundamentales para la emulación de la inteligencia, pero Floridi lo hace desde una perspectiva más metateórica.
Alfred Tarski·1941·no ficcion
Mientras que Bratko aplica la lógica a un lenguaje de programación específico, Tarski va a las raíces, explorando la lógica formal misma, que es la base de todo el paradigma de programación lógica. Es una conexión 'obscura' en el sentido de que no es un autor que suela aparecer en las listas de 'libros para aprender a programar', pero su pensamiento es indispensable para la comprensión profunda de estos principios.
Alfonso F. Cardenas·1979·no ficcion
Aunque Bratko se centra en la programación lógica con Prolog, los fundamentos de las bases de datos relacionales, especialmente desde un enfoque lógico, comparten una profunda conexión con los 'principios de programación lógica'. Es un libro menos conocido internacionalmente que Knuth o Date, pero fundamental para entender cómo la lógica se aplica a la gestión de información estructurada.
Harold Abelson, Gerald Jay Sussman, Julie Sussman·1984·no ficcion
Mientras Bratko utiliza Prolog para enseñar un paradigma declarativo, 'SICP' (como se le conoce a este libro) usa Scheme para inculcar un pensamiento computacional centrado en la abstracción y la modularidad, elementos cruciales en la programación lógica. Ambos libros comparten una estructura pedagógica que guía al lector a través de la construcción gradual de sistemas complejos a partir de principios fundamentales, utilizando el lenguaje como un vehículo para explorar ideas profundas.
Leon Sterling, Ehud Shapiro·1986·no ficcion
Este libro es estructuralmente similar al de Bratko en su enfoque pedagógico hacia la programación lógica y Prolog. Ambos construyen el conocimiento de forma incremental, introduciendo los conceptos básicos del lenguaje y la inferencia lógica antes de pasar a aplicaciones más complejas, con muchos ejemplos que refuerzan la comprensión de la mecánica declarativa de Prolog.
