Prolog

El Prolog (o PROLOG), proveniente del francés PROgrammation en LOGique,[1] es un lenguaje para programar artefactos electrónicos mediante el paradigma lógico con técnicas de producción final interpretada. Es bastante conocido en el área de la Ingeniería Informática para investigación en 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 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. 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, Trudel persuadió a Robert Kowalski para que se uniera al proyecto, dando lugar a una versión preliminar del lenguaje Prolog a finales de 1971[3] 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.

Si bien en un principio se trataba de un lenguaje de uso reducido, la aparición de intérpretes del mismo para microordenadores de 8 bits (ej: micro-PROLOG) y para ordenadores domésticos de 16 bits (ej: Turbo Prolog de Borland, entre otros muchos) a lo largo de la década de 1980 contribuyó notablemente a su popularización.[5] en cuyo contexto se desarrolló la implementación paralelizada del lenguaje llamada KL1 y del que deriva parte del desarrollo moderno de Prolog.

Las primeras versiones del lenguaje diferían, en sus diferentes implementaciones, en muchos aspectos de sus sintaxis, empleándose mayormente como forma normalizada el dialecto propuesto por la Universidad de Edimburgo,[6] hasta que en 1995 se estableció un estándar ISO (ISO/IEC 13211-1), llamado ISO-Prolog.

Prolog se enmarca en el paradigma de los lenguajes lógicos y declarativos, lo que lo diferencia enormemente de otros lenguajes más populares tales como Fortran, Pascal, C o Java.

Other Languages
aragonés: Prolog
العربية: برولوغ
asturianu: Prolog
azərbaycanca: Proloq dili
žemaitėška: Prolog
català: Prolog
Ελληνικά: Prolog
English: Prolog
Esperanto: Prolog
eesti: Prolog
euskara: Prolog
فارسی: پرولوگ
suomi: Prolog
français: Prolog
Gaeilge: Prolog
galego: Prolog
magyar: Prolog
Bahasa Indonesia: Prolog
Ido: Prolog
íslenska: Prolog
italiano: Prolog
日本語: Prolog
la .lojban.: prolog
lietuvių: Prolog
latviešu: Prolog
Bahasa Melayu: Prolog
Nederlands: Prolog
Deitsch: Prolog
português: Prolog
Simple English: Prolog
slovenčina: Prolog
српски / srpski: Prolog (programski jezik)
தமிழ்: புரொலாக்
Türkçe: Prolog
українська: Пролог
Tiếng Việt: Prolog
Yorùbá: Prolog
中文: Prolog