Пролог (PROLOG, от PROgramming in LOGic, программирование в логике) — язык программирования высокого уровня декларативного типа, предназначен для разработки систем и программ искусственного интеллекта; относится к категории языков пятого поколения. Пролог был разработан в 1972 году в Марсельском университете и может служить примером непроцедурного языка. При работе с ним программистам не требуется расписывать шаг за шагом процедуры — достаточно определить множество фактов и установить отношения между ними. С помощью этих соотношений процедуры, встроенные в язык, получают логические выводы. Эта особенность делает Пролог удобным для написания экспертных систем.