Cтраница 1
Пролог-программа состоит из предложений. Каждое предложение заканчивается точкой. [1]
Пролог-программы можно расширять, добавляя в них новые предложения. [2]
Пролог-программа для отношения подсписок может основываться на той же идее, что и принадлежит. [3]
Пролог-программа, используемая подобным образом, выявляет синтаксические ошибки. [4]
Пролог-программу, определяющую бинарный предикат match ( X, Y), который истинен тогда и только тогда, когда X и У унифицируемы в контексте теории множеств. [5]
Если Пролог-программа содержит перечень фактов, то к этой программе уже можно обратиться с запросом. [6]
Выполнение пролог-программы состоит в поиске таких путей. В процессе такого поиска система может входить и в ветви, приводящие к неуспеху. В тот момент, когда она обнаруживает, что ветвь не приводит к успеху, происходит автоматический возврат к предыдущей вершине, и далее следует попытка применить к ней альтернативное предложение. [7]
Напишите Пролог-программу, которая может работать с большой базой данных, содержащей расписания движения поездов. [8]
Рассмотренный пример Пролог-программы иллюстрирует высокие выразительные возможности языка Пролог. Мы видим, что правила имеют вполне естественный вид и выражают отношения реального мира примерно так же, как это представляется нам самим. [9]
Процедурная семантика Пролог-программы достаточно сложна, поэтому в режиме отладки программисту выдается большой объем информации. Чтобы эта информация вас не захлестнула, вы должны прежде всего ограничить круг возможных источников программных ошибок и затем, при запуске системы отладки, аккуратно применить метод сдерживаемого выполнения и расстановки точек наблюдения. [10]
Декларативный характер пролог-программ облегчает перевод графического представления на Пролог. В принципе, порядок описания картинки не играет роли, мы просто помещаем в программу то, что видим, в произвольном порядке. Возможно, что из практических соображений этот порядок впоследствии придется подправить с целью повысить эффективность программы. [11]
Важным подмножеством предикатов Пролог-программ, рассматриваемых в этой главе, являются предикаты базы данных. Каждый из таких предикатов соответствует хранящемуся во вторичной памяти отношению. Не допускается появление предикатов базы данных в левой части правила. Отметим, что данное соглашение не ограничивает вычислительной мощности Пролог-программы. [12]
![]() |
Пример взаимодействия Пролога и реляционной базы данных. [13] |
Во время выполнения Пролог-программы каждое вхождение предиката базы данных может иметь несколько активных экземпляров. Это означает, что на различных уровнях рекурсии можно производить сопоставление с различными активациями одного предиката базы данных. Каждый активный экземпляр некоторого предиката базы данных может использовать разные константы и, следовательно, отображаться в разные dbf. Даже пометки различных активаций одного предиката базы данных могут отличаться друг от друга. [14]
Ниже приведен текст Пролог-программы, в которой реализованы основные операции над списками целых чисел: создание списка, добавление элементов в список, распечатка содержимого списка, удаление элемента из списка, упорядочивание элементов в списке. В программе реализован оконный интерфейс и используется модель общения типа выбора из меню. [15]