Prolog

Prolog – Пролог декларативный язык программирования для задач искусственного интеллекта, обработки естественных языков и др. Его разработали в 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 и др. (см. также AI, declarative language, deductive reasoning, expert system, logical programming).