Пролог

Вступление

Пролог (англ. Prolog) — язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка...

Докладніше →

История

Разработка языка Prolog началась в 1970 г. Аланом Кулмероэ и Филиппом Русселом. Они хотели создать язык, который мог бы делать логические заключения на основе заданного текста. Название Prolog является сокращением от "PROgramming in LOGic"...

Докладніше →

Развитие

Интерес к Прологу поднимался и затихал несколько раз, энтузиазм сменялся жёстким неприятием. Наиболее высоко был поднят интерес к языку Пролог, как к языку будущего, во время разработок японской национальной программы компьютеры пятого поколения в 1980-х годах, когда разработчики надеялись, что с помощью Пролога можно будет сформулировать новые принципы, которые приведут к созданию компьютеров более высокого уровня интеллекта...

Докладніше →

Архитектура

Многие современные реализации языка имеют внутреннее расширение за счет ООП-архитектуры. Кроме проприетарных решений также существуют свободные реализации Пролог. Важно, что для языка существует стандарт ISO, принятый как ISO/IEC JTC1/SC22/WG17...

Докладніше →

Недостатки

Пролог критикуется в первую очередь за свою недостаточную гибкость, отчего решения на обычных языках программирования (типа C++, Java) в сочетании с базами данных оказываются более технологичными, чем аналогичные решения на Прологе...

Докладніше →

Общий обзор языка

Программа на языке Prolog состоит из набора фактов, определенных отношений между объектами данных (фактами) и набором правил (образцами отношений между объектами базы данных). Эти факты и правила вводятся в базу данных через операцию consult...

Докладніше →

Синтаксис языка

Программа на прологе состоит из предложений. Предложения, как говорилось выше, бывают трех видов...

Докладніше →

Семантика

Различают 2 семантики: Декларативная→Описывает отношения между объектами, не вдаваясь в подробности, как эти отношения будут реализованы...

Докладніше →

Списки

Списки - одна из наиболее часто употребляемых структур в Прологе. При записи список заключают в квадратные скобки, а элементы списка разделяют запятыми...

Докладніше →

Отсечения

Отличительной способностью prolog является то, что при поиске решений на ПроЛоге выдается целый список подходящих значений. Поэтому...

Докладніше →

Вступление

История

Развитие

Архитектура

Недостатки

Общий обзор языка

Синтаксис языка

Семантика

Списки

Отсечения

Зверніть увагу на додаткові посилання

Головний розділ