The Art of Prolog: Advanced Programming Techniques

Aunque no trata directamente con la programación lógica, este libro aborda los fundamentos de la recursión, la auto-referencia y los sistemas formales, que son la columna vertebral del pensamiento detrás de Prolog. Cuestiona la naturaleza del 'pensamiento' y de los 'sistemas', lo que resuena con la capacidad de Prolog para modelar el razonamiento lógico.

Mientras que 'The Art of Prolog' se enfoca en una técnica específica dentro de la IA, este libro ofrece una perspectiva histórica y sociológica más amplia de la disciplina. Permite contextualizar Prolog dentro del panorama general de la IA, mostrando cómo las aspiraciones originales (como la resolución de problemas de forma lógica) dieron lugar a diferentes herramientas y aproximaciones, haciendo la conexión más histórica que técnica.

Aunque no se centra en la lógica o Prolog, el ensayo de Wing destila la esencia filosófica subyacente a la programación lógica: la formulación precisa de problemas y la búsqueda de soluciones a través de un razonamiento sistemático. Prolog es la encarnación de cómo aplicar el pensamiento declarativo y resolutivo para "pensar como un ordenador" en un dominio muy específico.

Prolog se basa en la lógica formal para la inferencia, y Popper explora cómo el razonamiento lógico (deductivo e inductivo) se aplica en la búsqueda del conocimiento científico. Aunque los contextos son diferentes, ambos abordan cómo se construyen y validan los sistemas de conocimiento a través de reglas, principios y la derivación de conclusiones, buscando un sistema riguroso para la 'verdad' o la 'prueba'.

Hjelmslev, un lingüista danés, busca un formalismo para describir el lenguaje de manera abstracta y sistemática, muy parecido a cómo Prolog proporciona un formalismo para representar el conocimiento y las relaciones lógicas. Aunque no es directamente computacional, la aproximación generativa de Hjelmslev comparte la ambición de definir reglas y estructuras subyacentes que pueden generar (y comprender) fenómenos complejos a través de componentes discretos y sus interacciones lógicas.

Este libro, de un autor español y menos conocido en el ámbito internacional que Sterling, profundiza en una rama específica de la programación lógica (CLP(FD)) que extiende las capacidades de Prolog para resolver problemas de una manera muy declarativa. Se conecta directamente con el tema de referencia, ofreciendo una dirección práctica y más avanzada para aquellos que ya comprenden las bases de Prolog, pero desde una perspectiva más especializada y de nicho.

Similar a cómo 'The Art of Prolog' estructura el conocimiento y la lógica en términos de reglas y hechos para inferir nuevas relaciones, este trabajo rumano (menos conocido en el ámbito anglófono) aborda la narración de forma altamente estructurada, casi algorítmica. No es programación, pero el intento de formalizar un dominio con reglas y operadores recuerda el enfoque declarativo de Prolog para construir sistemas complejos a partir de unidades lógicas básicas.

El diseño de bases de datos relacionales se basa fundamentalmente en la lógica y la teoría de conjuntos, con un fuerte enfoque en la declaración de relaciones entre datos y la consulta declarativa (como SQL, que tiene raíces lógicas). Al igual que 'The Art of Prolog' enseña a estructurar programas como conjuntos de hechos y reglas para realizar inferencias, Ullman enseña a estructurar datos y consultas basándose en principios lógicos que definen relaciones entre entidades, compartiendo una profunda similitud estructural en cómo se modela y manipula la información de forma declarativa.