Пролог(от программирование на основе логики; декларативный язык программирования для задач искусственного интеллекта, обработки естественных языков и др. Его разработали в 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 и др. ssn)
пролог(The machine code between the entry point for an assembly language routine and the code for its first executable statement. Prolog sets up the stack frame and preserves certain register values)
