Пролог (язык программирования)
[американский вариант английского языка]; смотри значение prologue
Пролог (от программирование на основе логики) декларативный язык программирования для задач искусственного интеллекта, обработки естественных языков и др. Его разработали в 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
noun see prologue
Programming in Logic or (French) Programmation en Logique. The first of the huge family of logic programming languages. Prolog was invented by Alain Colmerauer and Phillipe Roussel at the University of Aix-Marseille in 1971. It was first implemented 1972 in ALGOL-W. It was designed originally for natural-language processing but has become one of the most widely used languages for artificial intelligence. It is based on LUSH (or SLD) resolution theorem proving and unification. The first versions had no user-defined functions and no control structure other than the built-in depth-first search with backtracking. Early collaboration between Marseille and Robert Kowalski at University of Edinburgh continued until about 1975. Early implementations included C-Prolog, ESLPDPRO, Frolic, LM-Prolog, Open Prolog, SB-Prolog, UPMAIL Tricia Prolog. In 1998, the most common Prologs in use are Quintus Prolog, SICSTUS Prolog, LPA Prolog, SWI Prolog, AMZI Prolog, SNI Prolog.