ПРОЛОГ (язык программирования) это:

ПРОЛОГ (язык программирования)
ПРОЛОГ (язык программирования)
ПРОЛОГ (PROLOG, от PROgramming in LOGic, программирование в логике), язык программирования (см. ЯЗЫКИ ПРОГРАММИРОВАНИЯ) высокого уровня декларативного типа, предназначен для разработки систем и программ искусственного интеллекта; относится к категории языков пятого поколения. Пролог был разработан в 1972 году в Марсельском университете и может служить примером непроцедурного языка. При работе с ним программистам не требуется расписывать шаг за шагом процедуры — достаточно определить множество фактов и установить отношения между ними. С помощью этих соотношений процедуры, встроенные в язык, получают логические выводы. Эта особенность делает Пролог удобным для написания экспертных систем.

Энциклопедический словарь. 2009.

Смотреть что такое "ПРОЛОГ (язык программирования)" в других словарях:

  • Пролог (язык программирования) — У этого термина существуют и другие значения, см. Пролог. Пролог Семантика: логическое программирование Появился в: 1972 Автор(ы): Alain Colmerauer Расширение файлов: .pl .pro .P …   Википедия

  • Язык программирования Пролог — язык логического программирования, программа на котором состоит: из логических утверждений, образующих базу данных; и из правила вывода новых утверждений из известных. По английски: PROLOG language См. также: Декларативные языки программирования… …   Финансовый словарь

  • Язык программирования — Язык программирования  формальная знаковая система, предназначенная для записи компьютерных программ. Язык программирования определяет набор лексических, синтаксических и семантических правил, задающих внешний вид программы и действия,… …   Википедия

  • Язык программирования Си — Си Семантика: процедурный Тип исполнения: компилируемый Появился в: 1969 73 г. Автор(ы): Кен Томпсон, Денис Ритчи Типизация данных: статическая Основные реализации …   Википедия

  • Язык программирования C — Си Семантика: процедурный Тип исполнения: компилируемый Появился в: 1969 73 г. Автор(ы): Кен Томпсон, Денис Ритчи Типизация данных: статическая Основные реализации …   Википедия

  • Язык программирования Рубин — Ruby Семантика: мультипарадигмальный Тип исполнения: интерпретатор Появился в: 1995 г. Автор(ы): Юкихиро Мацумото Последняя версия: 1.9.1 …   Википедия

  • Язык программирования Java — Java Класс языка: объектно ориентированный, структурный, императивный Появился в: 1995 г. Автор(ы): Sun Microsystems Последняя версия: Java Standard Edition 6 (1.6.14) Т …   Википедия

  • Язык программирования Dylan — Dylan  динамический объектно ориентированный язык программирования, нацеленный на быструю разработку программ, разработанный, прежде всего, усилиями множественное наследование, полиморфизм и многие другие функции. Язык общего назначения,… …   Википедия

  • Occam (язык программирования) — Язык программирования Оккам (англ. Occam) это процедурный язык параллельного программирования высокого уровня, разработанный в начале 80 х годов группой учёных из Оксфорда под руководством Дэвида Мэя (англ. David May) по заданию английской… …   Википедия

  • Oz (язык программирования) — Oz Семантика: функциональный, процедурный, декларативный, объектно ориентированный, вычисления с ограничениями, Н модели, параллельные вычисления Тип исполнения: компилируемый Появился в: 1991 Автор(ы): Gert Smolka his students Релиз …   Википедия

Книги

Другие книги по запросу «ПРОЛОГ (язык программирования)» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»