Пролог декларативный язык программирования для задач искусственного интеллекта, обработки естественных языков и др. Его разработали в 1971 - 1972 гг. Алэн Колмероэ (Alain Colmerauer) и Филипп Рассель (Philippe Roussel) в университете в Лумини (г. Марсель). В дальнейшем Пролог развивали различные коллективы, среди которых следует выделить группу Эдинбургского университета. Название происходит от "программирование в терминах логики" (Programmation en Logique). Первая реализация - Prolog 10 (Дэвид Уоррен и др.) на PDP-10. Отсюда термин - эдинбургский синтаксис, или синтаксис DEC10. В настоящее время имеется обширное семейство языков логического программирования, построенных на базе языка Пролог, напр., Prolog-2, Prolog++, Prolog-Linda, Prolog-III, Turbo Prolog, PDS Prolog и др.