Prolog: Fundamentos y Aplicaciones en Inteligencia Artificial

Historia de Prolog

Ideado a principios de los años 70 en la Universidad de Aix-Marseille I en Francia por los estudiantes Alain Colmerauer y Philippe Roussel. Nació de un proyecto que no tenía como objetivo la traducción de un lenguaje de programación, sino la clasificación algorítmica de lenguajes naturales.

Inicialmente, se trataba de un lenguaje interpretado hasta que, en 1983, David H.D. Warren desarrolló un compilador capaz de traducir Prolog en un conjunto de instrucciones de una máquina abstracta denominada WAM (Warren Abstract Machine). Desde entonces, Prolog es un lenguaje semi-interpretado.

Uso y Aplicaciones

Prolog es muy utilizado en el área de la Inteligencia Artificial, ya que este lenguaje es ideal para resolver problemas lógicos. Por lo tanto, este lenguaje puede ser utilizado para procesos industriales, en el campo médico, finanzas, entre otros sectores.

Características Principales

Es un lenguaje declarativo, basado en la lógica de primer orden o lógica de predicados. Su entorno se compone de:

• Un compilador: que transforma el código fuente a bytecode.
• Un intérprete: que ejecuta el bytecode.
• Una biblioteca de utilidades.

Funcionamiento del Lenguaje

Para construir elementos en Prolog se necesitan dos componentes fundamentales:

• Átomo: Definición genérica de un objeto del mundo real que queremos representar.
• Predicados: Permiten representar características de dichos objetos o relaciones entre ellos.

Estructura de las Declaraciones

Asimismo, las declaraciones en Prolog se componen de dos partes, siguiendo la estructura de la lógica de primer orden:

• Hechos: Representan algo que quiere ser tomado como cierto o que ocurre. Por ejemplo: tiene(auto, ruedas)., hombre(socrates).
• Reglas: Sentencia condicional que requiere el cumplimiento de ciertos hechos para ser verdadero. Representan implicaciones o consecuencias. Por ejemplo: mortal(X) :- hombre(X).

Sintaxis y Operaciones Lógicas

La sintaxis de Prolog maneja las operaciones básicas de lógica de la siguiente manera:

• Conjunción (Y): estacion(invierno) :- mes(julio), mes(agosto), mes(septiembre).
• Disyunción (O): mortal(X) :- hombre(X); puede_morir(X).
• Negación: not(presentacion(aburrida)).