Книга: Джесси Рассел «Пролог (язык программирования)»
Серия: "-" Пролог (фр. Programmation en Logique) — язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка. Издательство: "VSD" (2012)
ISBN: 978-5-5128-9474-3 |
Другие книги автора:
Книга | Описание | Год | Цена | Тип книги |
---|---|---|---|---|
Карликов, Вячеслав Александрович | Вячеслав Александрович Карликов (15 (27) декабря 1871, Сырдарьинская область — 17 октября 1937, Бутовский полигон… — VSD, - Подробнее... | бумажная книга | ||
Инфракрасная фотография | Данное издание представляет собой компиляцию сведений, находящихся в свободномдоступе в среде Интернет в… — VSD, - Подробнее... | бумажная книга | ||
Очень голодная гусеница | Данное издание представляет собой компиляцию сведений, находящихся в свободномдоступе в среде Интернет в… — VSD, - Подробнее... | бумажная книга |
См. также в других словарях:
ПРОЛОГ (язык программирования) — ПРОЛОГ (PROLOG, от PROgramming in LOGic, программирование в логике), язык программирования (см. ЯЗЫКИ ПРОГРАММИРОВАНИЯ) высокого уровня декларативного типа, предназначен для разработки систем и программ искусственного интеллекта; относится к… … Энциклопедический словарь
Пролог (язык программирования) — У этого термина существуют и другие значения, см. Пролог. Пролог Семантика: логическое программирование Появился в: 1972 Автор(ы): Alain Colmerauer Расширение файлов: .pl .pro .P … Википедия
Язык программирования Пролог — язык логического программирования, программа на котором состоит: из логических утверждений, образующих базу данных; и из правила вывода новых утверждений из известных. По английски: PROLOG language См. также: Декларативные языки программирования… … Финансовый словарь
Язык программирования — Язык программирования формальная знаковая система, предназначенная для записи компьютерных программ. Язык программирования определяет набор лексических, синтаксических и семантических правил, задающих внешний вид программы и действия,… … Википедия
Язык программирования Си — Си Семантика: процедурный Тип исполнения: компилируемый Появился в: 1969 73 г. Автор(ы): Кен Томпсон, Денис Ритчи Типизация данных: статическая Основные реализации … Википедия
Язык программирования C — Си Семантика: процедурный Тип исполнения: компилируемый Появился в: 1969 73 г. Автор(ы): Кен Томпсон, Денис Ритчи Типизация данных: статическая Основные реализации … Википедия