Prolog

Il Prolog è un linguaggio di programmazione basato sulla logica del ragionamento umano. Il nome prolog è la contrazione dal francese PROgrammation en LOGique.

E' stato sviluppato nel 1972 in Francia da Alain Colmerauer, facendo riferimento agli studi di Robert Kowalski e Martin Van Emdem.

Con il Prolog si cercò di programmare i computer usando il linguaggio formale della logica in sostituzione dei classici algoritmi.

Nel corso del tempo venne usato per scopi educativi e, in particolar modo, nello studio dell'intelligenza artificiale.

La sintassi e la semantica del linguaggio Prolog sono molto semplici.

Uno degli scopi iniziali era di consentire la programmazione anche ai non esperti di informatica.