La storia del linguaggio di programmazione Prolog

May 16

PROLOG (programmazione logica) è un linguaggio di programmazione dichiarativa spesso utilizzato nella programmazione di applicazioni di intelligenza artificiale (AI). Un linguaggio dichiarativo è un linguaggio di programmazione che determina ciò che 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 linguaggio di sviluppo pratico basato sull'idea di ragionamento deduttivo automatizzato. Le formule linguistiche permesso di essere interpretate in modo tale che una conclusione logica potrebbe essere raggiunto. PROLOG è stato originariamente concepito come un modo per automatizzare l'elaborazione del linguaggio naturale, ma è stato presto messo da utilizzare per lo sviluppo di applicazioni più in generale. E 'stata la prima a prendere decisioni deduttivi in ​​base all'input in francese scritto.

Implementazione

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

Influenza

PROLOG ha avuto una serie di affetti sul campo della computer science. Come il langauge programmazione originale basato sulla logica, ha permesso per aggiunte al database relazionali per creare una nuova forma di banca dati di cui ai database come dedutive. Dal 1980 in poi, ha influenzato la formazione di sistemi intelligenti di elaborazione, programmazione logica vincoli, programmazione logica induttiva e apprendimento automatico.