• La programación lógica
La programación lógica consiste en la aplicación del corpus de conocimiento sobre lógica para el diseño de lenguajes de programación; no debe confundirse con la disciplina de la lógica computacional.
• Fundamentos
La mayoría de los lenguajes de programación lógica se basan en la teoría lógica de primer orden, aunque también incorporan algunos comportamientos de orden superior. En este sentido, destacan los lenguajes funcionales, ya que se basan en el cálculo lambda, que es la única teoría lógica de orden superior que es demostradamente computable (hasta el momento).
La programación lógica permite formalizar hechos del mundo real, por ejemplo:
las aves vuelan
los pingüinos no vuelan
"pichurri" es un ave
"sandokan" es un perro
"alegría" es un ave
y también reglas o restricciones:
una mascota vuela si es un ave y no es un pingüino
Ante dicho "programa" es posible establecer hipótesis que no son más que preguntas o incógnitas, por ejemplo:
¿"pichurri" vuela?
¿ qué mascotas vuelan ?....
Gracias a que la lógica de primer orden es computable, el ordenador será capaz de verificar la hipótesis, es decir, responder a las incógnitas:
Es cierto que "pichurri" vuela.
"pichurri" y "alegría" vuelan.
• Lenguajes basados en Reglas
Estos lenguajes han sido durante mucho tiempo posiblemente los más usados de todos, principalmente debido a su estrecha relación con los Sistemas Expertos utilizados en Inteligencia Artificial. Estos lenguajes son fáciles de entender debido a su sencillez conceptual y a su paralelismo con las estructuras de control más simples utilizadas en programación. Este tipo de lenguajes han recibido también un fuerte impulso a partir de la aparición de la web semántica.
Este nuevo lenguaje incluye las siguientes características:
-Reglas de producción: reglas del tipo IF-THEN habituales en los sistemas expertos.
-Reglas de integridad: afirmaciones que se deben cumplir en cualquier estado del sistema
-Reglas reactivas: reglas que realizan acciones cuando se cumple un evento o se dan unas -determinadas circunstancias
-Reglas de derivación: reglas para definir conceptos derivados a partir de otros
-Reglas de transformación: permiten crear reglas a partir de un llamador, una condición, y una transformación.
• Prolog
El lenguaje de programación lógica por excelencia es Prolog, que cuenta con diversas variantes.
Se creo como una respuesta a la crisis del software que ocurría durante los primeros años de la década del 70 y producto del avance de la lógica moderna (de tipo funcional), nace PROLOG (“PROgramación en LOGica”).
Prolog es un lenguaje de programación que es usado para resolver problemas que envuelven objetos y las relaciones entre ellos.
Su objetivo es la evolución de los lenguajes, como también el bajo ”costo y facilidad’ de programación que este puede ofrecer. El lenguaje está orientado para trabajar en aplicaciones de inteligencia artificial.
Otros ejemplos:
-ALF (Another logical framework)
-Gödel programming language
-Mercury programming language
