Пролог-программа
Cтраница 3
На рис. 6.1 показана общая ситуация, в которой пролог-программа взаимодействует с несколькими файлами. Она может, в принципе, считывать данные из нескольких входных файлов, называемых также входными потоками, и выводить данные в несколько выходных файлов, называемых выходными потоками. Информация, поступающая с пользовательского терминала, рассматривается просто как еще один входной поток. Аналогично информация, выводимая на этот терминал, рассматривается как один из выходных потоков. Имена остальных файлов программист должен выбирать в соответствии с правилами именования файлов, принятыми в используемой компьютерной системе. [31]
Теорема 6.1. Проблема вывода ответа на ДА / НЕТ-запросы к Пролог-программе алгоритмически неразрешима. [32]
В силу приведенных выше соображений представленные в приложениях 1 и 2 Пролог-программы для двух интересных практических задач даны в двух вариантах - непереведенного, готового к употреблению кода и предназначенного для чтения русскоязычным читателем с максимально удобочитаемой мнемоникой конструкций программ и сообщений интерфейса. [33]
Однако последнее выполнить в классе формул, с помощью которых записывается Пролог-программа, существенно проще, и имеется эффективный метод доказательства - метод резолюций, одна из версий которого и применяется в Прологе. [34]
Недостатком этой схемы является большое число файлов генерируемых в процессе выполнения Пролог-программы, что приводит к загромождению внешней памяти. Если основная память исчерпывается, метаинформация о предикатах queried может быть удалена без влияния на корректность взаимодействия: следствием удаления одного такого факта было бы повторение запроса к базе данных. Предполагается, что наибольшей вероятностью повторения обладают последние запросы, поэтому при сжатии основной памяти удобно удалять факты предиката queried ( вместе с соответствующими файлами), которые сформированы первыми. [35]
 |
Архитектура ЬСРЯ-системы. Цифра 1 над стрелкой обозначает связывание во время загрузки. [36] |
Отметим, что действия по связыванию ( 1) происходят во время загрузки, когда файл, содержащий Пролог-программу, считывается механизмом Пролога. После того как релевантные базовые факты загружены в память Пролога, выполнение Пролог-программы происходит независимо от базы данных. [37]
В качестве имени переменной в предикатах может использоваться знак подчеркивания, такая переменная называется анонимной, применяется это в случаях, когда значение переменной безразлично для Пролог-программы. [38]
Эту книгу можно рекомендовать как тем читателям, которые впервые приступают к изучению Пролога и искусственного интеллекта, так и программистам, уже имеющим опыт составления пролог-программ. [39]
Это могут быть как программисты, работающие на Прологе и желающие познакомиться с методами его применения для построения ЭС, так и специалисты в области ЭС, которые хотят оценить возможности Пролога для создания своих программных продуктов. Приведенные тексты Пролог-программ могут быть непосредственно включены в состав рабочей версии ЭС или использоваться в качестве образца при написании своих собственных программ. [40]
Подчеркнем, что этот пример иллюстрирует принципиально иные трудности, нежели просто алгоритмическая неразрешимость. В случае алгоритмической неразрешимости Пролог-программы Р без отрицания мы все-таки могли сформулировать четкое определение логической семантики, а именно: на запрос а. И хотя соответствующего алгоритма, точно реализующего логическую семантику, не существует, смысл программы Р точно определен. [41]
Эта проблема алгоритмически неразрешима. Отсюда следует, что при написании Пролог-программы мы рискуем вывести эту программу в разряд неразрешимых и не имеем даже эффективных средств для обнаружения этого факта. [42]
В этом случае специальный анализатор программы имеет доступ к справочникам базы данных. Анализатор активизируется либо во время загрузки Пролог-программы, либо при каждой операции сопоставления. [43]
В заключение хотелось бы обратить ваше внимание на то, что изучаемый пример демонстрирует нечто интересное о путях создания многих программ на Прологе. Это принцип снизу-вверх, который весьма характерен для Пролог-программ. [44]
Докажите, что операционная семантика Пролога согласуется с семантикой К-систем: если операционная семантика позволяет вычислить для запроса а. ДА или НЕТ, то в К-системе, соответствующей данной Пролог-программе ( отрицание заменено на в), слово а истинно, если ответ ДА, и ложно, если ответ НЕТ. [45]
Страницы: 1 2 3 4