Пролог це мова програмування високого рівня декларативного типу, заснований на використанні логічних побудов для написання програм.

Якщо в традиційних мовах програмування (Фортран, Паскаль та ін.) програма намагається відповістити на запитання: як розв'язати завдання?, то програма, написана на Пролозі, відповідає на запитання: що ви прагнете одержати від рішення даного завдання?

Мова вважається основним для рішення завдань штучного інтелекту.

Перша реалізація мови здійснена А. Калмерое (A. Colme-rauer) і Ф. Росселем (P. Roussel) (Франція) в 1972 р.

Фірма Borland розробила гарну реалізацію мови для персональних комп'ютерів — Turbo-Prolog.