Пролог (Prolog) е компютърен език за логическо програмиране. Името Пролог е акроним от PROgramming in LOGic. Създаден е от Ален Колмерое, Филип Ръсел и Робърт Ковалски през 1972 г. като алтернатива на американско-доминираните Lisp програмни езици. Това е опит да се направи програмен език, който дава възможност да се използват логически изрази, вместо специални инструкции към компютъра. До някаква степен Пролог е помощен на Planner (виж историята на Ковалски за ранното логическо програмиране). Пролог е богата колекция от структури от данни и мощна система за писане на потребителски приложения. Той притежава свои логически аспекти, възможности за интерпретиране, компактност и присъща модуларност.

За разлика от процедурните езици за програмиране като Pascal, PL/I и т.н., програмата, написана на Пролог, дава на компютъра описание на проблема, като използва редица факти и правила, а след това го кара да намери всички възможни решения. Когато бива използван Pascal например, програмистът трябва да каже на компютъра как точно да изпълни задачата, докато ако се програмира на Пролог, щом се опише какво трябва да се направи, системата на Пролог сама организира начина на реализиране. Поради декларативния (а не процедурния) подход, добре известните източници на грешки в Pascal, Basic и т.н. - като напр. цикли, които изпълняват повече или по-малко от необходимите операции - са елиминирани от самото начало. Нещо повече, Пролог учи програмиста как да направи добре структурирано описание на даден проблем. Освен това, той може да се използва и като инструмент за писане на спецификации.