Интерпретатор - пролог
Cтраница 1
 |
Отношения ИБД FATHER и MOTHER. [1] |
Интерпретатор Пролога после выполнения этого запроса устанавливает X равным тагу. Заметим, что интерпретатор не вычисляет отношение ИБД MOTHER целиком для ответа на запрос, а находит кортеж, который принадлежит ответу. [2]
 |
Дейталог как эволюция Пролога. [3] |
Наоборот, интерпретатор Пролога демонстрирует ожидаемое поведение в версии Предок. В действительности программист на Прологе должен следить за тем, чтобы программа не зацикливалась, тогда как программист на Дейталоге может не заботиться об этом. [4]
В [21] используется модифицированный интерпретатор Пролога, который откладывает обработку целей, начинающихся с not, пока для них не будет готова подстановка; тем временем он испытывает остальные цели данного дизъюнкта, чтобы справиться с возникающей проблемой. [5]
Выше мы показали, как интерпретатор Пролога оперирует базой фактов, и продемонстрировали, что Пролог может работать как мощный язык баз данных. Выбор Пролога для иллюстрации использования логического программирования в качестве языка баз данных практически не вызывает сомнений, поскольку Пролог является наиболее популярным языком логического программирования. Однако использование Пролога в данном контексте иллюстрирует ряд недостатков, которые частично обнаружились в нашем примере. [6]
Остановимся далее более подробно на принципе работы интерпретатора Пролога. [7]
Рассмотрим теперь, какие ответы будут образованы интерпретатором Пролога, оперирующим фактами для двух предикатов parent и person, соответствующих кортежам базы данных; предполагается, что факты заданы в основной памяти в указанном выше порядке. [8]
И наконец, для того, чтобы иметь удобный доступ к оболочке из интерпретатора Пролога, нам необходима процедура, выполняющая функцию драйвера. На рис. 14.13 показано, как могла бы выглядеть предназначенная для этой цели процедура эксперт. Драйвер эксперт производит запуск трех основных модулей оболочки ( рис. 14.10 - 14.12) и координирует их работу. [9]
Систему Дарвин можно было бы расширить и так, чтобы имелась возможность с помощью переменных задавать правила в более общей форме точно так же, как это делалось в ранее рассмотренном сопоставлении с образцом или в интерпретаторе Пролога. [10]
Интерпретатор языка программирования представляет собой метапрограмму, которая выполняет программы, написанные на этом языке. Интерпретатор Пролога на Прологе может расширять те возможности, которые предоставляет Пролог-система. [11]
 |
К понятию Пропог-интерпретатора. а - области определения корректного интерпретатора А и его улучшения Б ( обведена пунктиром. б - область определения некорректного интерпретатора В. [12] |
Подчеркнем, что это первый случай в практике программиррвания, когда массовый язык программирования, каким является Пролог, не может иметь транслятора в строгом смысле. Любой практически существующий интерпретатор Пролога, таким образом, реализует лишь некоторое приближение к недостижимому абсолютному интерпретатору. Каждый интерпретатор Пролога можно улучшить, но абсолютно наилучшего не существует. [13]
Здесь мы используем квантор существования, чтобы выяснить, существуют ли такие значения X и Y, что X является группой, a Y - номером игры из некоторого кортежа S. Подходящий интерпретатор, например интерпретатор Пролога, может перечислить те пары X и Y, для которых это утверждение истинно. [14]
Подчеркнем, что это первый случай в практике программиррвания, когда массовый язык программирования, каким является Пролог, не может иметь транслятора в строгом смысле. Любой практически существующий интерпретатор Пролога, таким образом, реализует лишь некоторое приближение к недостижимому абсолютному интерпретатору. Каждый интерпретатор Пролога можно улучшить, но абсолютно наилучшего не существует. [15]
Страницы: 1 2