PROLOG (Programming Logic) è un linguaggio spesso utilizzato nella programmazione di applicazioni di intelligenza artificiale (IA) di programmazione dichiarativo. Un linguaggio dichiarativo è un linguaggio di programmazione che determina che cosa dovrebbe essere fatto a causa di criteri specifici, piuttosto che come qualcosa deve essere fatto.

Origini

PROLOG è stato creato tra il 1971 e il 1973 da Philippe Roussel e Alain Colmerauer come un linguaggio di sviluppo pratico basato sull'idea di ragionamento deduttivo automatico. La lingua ammessi formule deve essere interpretato in tale maniera che potrebbe essere raggiunto una conclusione logica. PROLOG è stato originariamente concettualizzato come un modo per automatizzare l'elaborazione del linguaggio naturale, ma fu presto messo per utilizzare per lo sviluppo dell'applicazione più generale pure. In primo luogo è stato usato per prendere decisioni deduttive basate sull'input in francese scritto.

Attuazione

Nel 1983, David H. Warren creato un'architettura di macchina chiamata una "macchina astratta", che potesse guidare le applicazioni PROLOG. Chiamato il "Warren Abstract Machine" (WAM), è diventato il metodo di implementazione standard per il PROLOG.

Influenza

PROLOG ha avuto un numero di colpisce sul campo dell'informatica. Come l'originale langauge programmazione basata su logica, ha permesso per aggiunte al database relazionali per creare una nuova forma di database definito dedutive database. Dal 1980 in poi, ha influenzato la formazione di sistemi di calcolo intelligenti, programmazione logica a vincoli, programmazione logica induttiva e apprendimento automatico.