|
|
| Gruzovik, progr. |
Programming in Logic |
| progr. |
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 и др. ssn) |
| techn. |
Prolog (язык программирования) |
|
|
| génér. |
prologue; preface; prolog (вступительная часть драматического произведения, оперного или балетного спектакля, реже-поэмы или романа); proem |
| ciném. |
induction |
| cycl. |
prologue (короткий этап гонки, проводящийся с раздельным стартом в начале многодневной велогонки) |
| Gruzovik, litt. |
calendar (про́лог; collection of saints’ lives, homilies, instructions, etc, connected with particular days [др.-рус. сборник житий, поучений]) |
| litt. |
calendar (collection of saints' lives, homilies, instructions, etc, connected with particular days) |
| micr. |
prolog (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) |
| progr. |
prelude (документа ssn) |
| relig. |
exordium |
| sports c. |
prologue time trial (4uzhoj) |
| téléc. |
prologue data (oleg.vigodsky) |
|
| Russe glossaire |
|
|
| génér. |
вступительная часть литературного, театрального и музыкально-сценического произведения. В литературном театральном прологе рассказывается о событиях, предваряющих и мотивирующих основное действие, или разъясняется художественный замысел, эстетическое кредо автора. Большой Энциклопедический словарь |
|
|
| abrév. |
"Программирование в терминах логики" (машинный язык) |
| abrév., usin. |
Программирование в терминах логики |
