PROLOG

PROLOG, programski jezik za logičko programiranje, koji je 1970. razvio francuski informatičar Alain Colmerauer na Sveučilištu u Marseilleu. Program napisan tim jezikom sastoji se od činjenica i pravila koji se odnose na neko područje primjene. Za razliku od tradicionalnih programskih jezika, koji prvenstveno obrađuju brojčane podatke, PROLOG obrađuje simbole koji su među sobom povezani pravilima simboličke logike (→ programski jezici). Ugrađenim postupcima logičkoga pretraživanja program oponaša ljudsko zaključivanje, pa je PROLOG 1980-ih bio u Europi i Japanu jedan od glavnih jezika u području istraživanja umjetne inteligencije. U SAD-u je za iste namjene popularniji bio programski jezik LISP, koji je približno istodobno razvio John McCarthy na Massachusettskom tehnološkom institutu.