Prolog ir loģiskās programmēšanas valoda. Vārds Prolog ir ņemts no franču valodas programmation en logique, kas nozīmē „loģiskā programmēšana”. Šo valodu radīja A. Kolmeauers un R. Kovalskis apmēram 1972. gadā kā alternatīvu Lisp programmēšanas valodām. Tas bija mēģinājums radīt programmēšanas valodu, kura darbotos ar loģiskām izteiksmēm tā vietā, lai pildītu detalizētas instrukcijas.