PROLOG

PROLOG
PROLOG, proveniente del francés PROgrammation en LOGique,​ es un lenguaje de programación lógico e interpretado usado habitualmente en el campo de la Inteligencia artificial. 

Historia

Se trata de un lenguaje de programación ideado a principios de los años 70 en la Universidad de Aix-Marseille I (Marsella, Francia) por 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 el tratamiento algorítmico de lenguajes naturales. Alain Colmerauer y Robert Pasero trabajaban en la parte del procesado del lenguaje natural y Jean Trudel y Philippe Roussel en la parte de deducción e inferencia del sistema. Interesado por el método de resolución SL, Philippe Roussel persuadió a su autor, Robert Kowalsk,i para que collaborara al proyecto, dando lugar a una versión preliminar del lenguaje Prolog a finales de 1971​ y apareciendo la versión definitiva en 1972.​ Esta primera versión de Prolog fue programada en ALGOL W. 
Inicialmente se trataba de un lenguaje totalmente 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 Warren Abstract Machine, o abreviadamente, WAM. Desde entonces Prolog es un lenguaje semi-interpretado. 
CLICK para conocer mas de historia y sintaxis...


Comentarios

Publicar un comentario

Entradas más populares de este blog

LOGICA PROPOSICIONAL

Imagen
LOGICA PROPOSICIONAL Ir a la búsqueda Una lógica proposicional , o a veces lógica de orden cero , es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas , llamadas conectivas lógicas , representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.​ Las lógicas proposicionales carecen de cuantificadores o variables de individuo, pero tienen variables proposicionales (es decir, que se pueden interpretar como proposiciones con un valor de verdad definido), de ahí el nombre proposicional. Los sistemas de lógica proposicional incluyen además conectivas lógicas , por lo que dentro de este tipo de lógica se puede analizar la inferencia lógica de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples.  Como las lógicas proposicionales no tienen cuantificadores o variables de individuo, cualquier secuencia de signos q...
Leer más