Пролог (PROLOG — PROgramming in LOGic) — язык программирования высокого уровня декларативного типа, предназначенный для разработки систем и программ искусственного интеллекта. Относится к категории языков пятого поколения. Был разработан в 1971 г. в университете г. Марселя (Франция), относится к числу широко используемых и постоянно развиваемых языков. Последняя его версия Prolog 6.O.
[«Эзоповы языки» для программистов. Словарь терминов по информатике.infocom.uz›2004/06/11 /ezopovyi…br-slovar-terminov]