Interpretación Lógica

Una de las características de la programación en lógica es que admite múltiples interpretaciones. Una de ellas proviene de la lógica. En ella un programa constituye una definición axiomática de unateoría, y a una invocación a la ejecución del mismo se la considera como una fórmula a demostrar en dicha teoría.
Luego de una introducción general al tema, en la primera sección se introduce ladefinición sintáctica de los programas en lógica. Asimismo se presentan los mecanismos de estructuración de datos, los que se obtienen a partir de los símbolos funcionales que puede introducir el usuario.El significado de los programas en lógica se presenta en la segunda sección, utilizando los conceptos de lógica que se definen. A continuación se plantean los mecanismos de derivación lógica a partirde reglas de inferencia, y el concepto de unificación que es el que permite realizar dicha operación en presencia de variables. El capítulo concluye con la presentación de un modelo general para elpaso inferencial y con un ejemplo de aplicación.
En la introducción se ha visto cómo es posible definir y manipular relaciones mediante programas en lógica. Para dichos programas fue presentada unasemántica intuitiva, a finde comprender las ejecuciones de los mismos. En lo que sigue se utilizarán nociones de la lógica para el mismo objetivo. Se tratará de no realizar un planteo excesivamenteformal de tal manera que se puedan rescatar las ideas intuitivas subyacentes. El lector interesado puede recurrir al excelente libro de Lloyd [Llo84].
La idea de base de la programación en lógicaradica en utilizar conceptos de la lógica para referirse a todos y cada uno de los procesos de construcción de programas y de ejecución de los mismos.
Un programa, como el formado por el conjunto de lasreglas de la introducción, corresponderá a la definición de una teoría axiomática, y una ejecución, es decir la evaluación de una interrogación de alguna de las relaciones definidas, significará una...