PROLOG ( Logic Programming ) è un linguaggio di programmazione dichiarativo spesso utilizzato nella programmazione di intelligenza artificiale ( AI) le applicazioni . Un linguaggio dichiarativo è un linguaggio di programmazione che determina ciò che dovrebbe essere fatto a causa di criteri specifici , piuttosto che come dovrebbe essere fatto qualcosa . 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 . Il linguaggio ha permesso formule per 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ù generale pure. E ' stata la prima a prendere decisioni deduttive base all'input in francese scritto .
Attuazione

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

PROLOG ha avuto una serie di affetti su il campo della computer science . Come il langauge programmazione basato sulla logica originale , ha permesso di aggiunte al database relazionali per creare una nuova forma di banca dati denominata database dedutive . Dal 1980 in poi , ha influenzato la formazione di sistemi intelligenti di calcolo , programmazione logica vincolo , programmazione logica induttiva , e machine learning .