Programación Lógica

La segunda parte está constituida por los conceptos básicos del cálculo de proposiciones y de predicados. Ello sirve de excusa a la introducción de las nociones de deducción lógica que modelarán no sólo el estilo de programación, sino también el funcionamiento interno de los intérpretes lógicos.

La tercera parte comprende la descripción detallada de un intérprete lógico, haciendo mención expresa de las limitaciones prácticas en su implementación. Esta descripción sirve de punto de partida para una profundización en los mecanismos operacionales del lenguaje, así como en el estudio de las causas que provocan el alejamiento del paradigma declarativo.

La cuarta parte describe la técnicas fundamentales de la programación lógica, así como el uso de estructuras de datos alternativas a las tradicionales y que explotan los mecanismos fundamentales del intérprete, tales como la unificación. Especial atención merecen en esta parte el problema del análisis sintático aplicado a los lenguajes naturales, como ejemplo típico de implementación que utiliza profusamente los recursos del intérprete en favor de una simplificación conceptual difícilmente alcanzable en otros entornos de programación