PROLOG

Introducción

En Octubre de 1981, el gobierno japonés y más concretamente el Ministerio Japonés de Comercio Internacional e Industria (MITI), anuncia la puesta en marcha de un proyecto revolucionario equiparable a la carrera del espacio norteamericana. Están dispuestos a ofrecer al mundo la siguiente generación, la Quinta Gen

eración de Ordenadores. Unas máquinas de Inteligencia Artificial que pueden pensar, sacar conclusiones, emitir juicios e incluso comprender las palabras escritas y habladas.

Con este fin se crea el ICOT (Institute for New Generation Computer Technology) constituido por cuarenta brillantes investigadores de las más importantes empresas, y se les dota con todos los medios necesarios para construir la nueva clase de supercomputadoras.

La Quinta Generación prevé máquinas diseñadas para el tratamiento lógico, de capacidades análogas a las capacidades de anteriores generaciones de ordenadores para tratar operaciones aritméticas. Se trata de ordenadores

que tienen el PROLOG como lenguaje nativo (lenguaje máquina), con capacidad para procesar millones de inferencias lógicas por segundo (LIPS).

La programación lógica es un paradigma de los lenguajes de programación en el cual los programas se consideran como una serie de aserci

ones lógicas. De esta forma, el conocimiento se representa mediante reglas, tratándose de sistemas _declarativos_. Una representación declarativa es aquella en la que el conocimiento está especificado, pero en la que la manera en que dicho conocimiento debe ser usado no viene dado. El más popular de los sistemas de programación lógica es el PROLOG.

Un programa escrito en PROLOG puro, es un conjunto de claúsulas de Horn.

Sin embargo, PROLOG, como lenguaje de programación moderno, incorpora más cosas, como instrucciones de Entrada/Salida, etc.

Una claúsula de Horn puede ser o bien una conjunc

ión de hechos positivos o una implicación con un único consecuente (un único termino a la derecha).

La negación no tiene representación en PROLOG, y se asocia con la falta de una afirmación (negación por fallo), según el modelo de _suposición de un mundo cerrado_ (CWA); sólo es cierto lo que aparece en la base de conocimiento o bien se deriva de esta.