Prolog je splošni logični programski jezik, povezan z umetno inteligenco in računalniško jezikoslovje.Prolog ima svoje korenine v logiki prvega reda, formalno logiko in za razliko od mnogih drugih programskih jezikov je Prolog namenjen predvsem deklarativnemu programskemu jeziku: programska logika je izražena v smislu odnosov, predstavljenih kot dejstva in pravila. Izračun se sproži tako, da izvede poizvedbo po teh odnosih.Jezik je prvič zasnoval skupina okoli Alaina Colmerauerja v Marseillu v Franciji v začetku sedemdesetih let in prvi sistem Prolog je leta 1972 razvil Colmerauer z Philippe Roussel.Prolog je bil eden prvih jezikovnih programskih jezikov in je danes še vedno najbolj priljubljen med takšnimi jeziki, na voljo pa je več brezplačnih in komercialnih izvedb. Jezik je bil uporabljen za dokazovanje teorema, strokovne sisteme, preimenovanje pojmov, vrste sklepov in avtomatsko načrtovanje ter prvotno predvideno področje uporabe, obdelava naravnega jezika. Sodobna Prolog okolja podpirajo oblikovanje grafičnih uporabniških vmesnikov ter administrativnih in omrežnih aplikacij.Prolog je primeren za specifične naloge, ki imajo koristi od pravilnih logičnih poizvedb, kot so iskanje baz podatkov, sistemi glasovnega nadzora in predloge za polnjenje.
|