Cтраница 1
Логические программы, в принципе, имеют небольшое быстродействие, так как вычисления осуществляются методом проб и ошибок, поиском с возвратами к предыдущим шагам. [1]
Логическая программа состоит из предложений, выражающих знания о той задаче, для решения которой программа предназначается. Для формулировки этих знаний используются два основных понятия: наличие дискретных объектов, которые здесь называются индивидуумами, и наличие отношений между ними. Индивидуумы, рассматриваемые в контексте каждой конкретной задачи, образуют все вместе проблемную область этой задачи. [2]
Логическая программа начинает исполняться после того, как она подается на вход логическому интерпретатору. Интерпретатор представляет собой программу, способную строить резолютивные выводы, как правило, методом сверху вниз. Получив входную логическую программу, он предпринимает обычные шаги, необходимые для исполнения программы в режиме интерпретации: так, он осуществляет синтаксический контроль входных утверждений; хранит их в центральной памяти в соответствующей упрощенной, компактной и доступной форме; переводит входное целевое утверждение во внутреннее представление и затем начинает процесс построения вывода путем последовательного применения правила резолюции к текущему целевому утверждению и некоторой родительской процедуре, выбираемой из хранящейся в памяти версии входной программы. Если интерпретатору удается вывести пустое отрицание П, означающее, что решение получено, то он выдает какое-либо сообщение об этом вместе с найденными значениями целевых переменных. [3]
Логические программы были впервые исполнены на компьютере в 1972 г. С тех пор было затрачено много усилий на разработку реализаций логики как языка программирования в поисках все большей их эффективности и практичности. В самом деле, темпы, с которыми развиваются сейчас новые системы с тем, чтобы сразу же обслужить возникающие потребности постоянно растущего сообщества логических программистов, а также противостоять еще не ясным, но принимающим угрожающие размеры требованиям следующего поколения архитектур ЭВМ, сводят на нет всякую попытку предложить какие-либо устойчивые принципы методологии реализации. [4]
Неформально логическая программа описывает множество объектов, множество функций и отношений на этих объектах. Строится логическая программа как набор утверждений об объектах, функциях и отношениях. [5]
Логическая программа SYSGEN является одной программой, а физически состоит из шести модулей: SG1ND, SG1OD, SG2, SG3, SG4 и MSP. Это деление сделано для того, чтобы позволить программе работать в разделе объемом 3 Кслова. [6]
Слияние логических программ и баз данных происходит в соответствии с общей тенденцией в информатике - совместное исследование различных областей с целью генерации новых идей и получения материального выигрыша за счет использования общих концепций. [7]
Исполнение логической программы удобно описывать на основе введенных во второй главе механизмов входа в процедуру и выхода из процедуры. [8]
В логических программах последовательность выполнения заданий устанавливается просто с помощью записи вызовов в определенном текстуальном порядке. [9]
Абстрактная спецификация логических программ имеет ясную семантику, заключающуюся в резолюционной системе опровержения. Ван Эмден и Ковальский показали, что наименьшей интерпретацией, на которой логическая программа истинна, является интерпретация самой программы. Цена, заплаченная практическими языками логического программирования ( такими, как язык Пролог) за управление в поисковом пространстве, заключается в том, что программы могут вычислять только подмножество своих ассоциированных интерпретаций. [10]
Обычно интерпретатор логических программ начинает свою работу с целевого утверждения, например, такого, как - Р ( х ] & Q ( x) & R ( y), состоящего из трех подцелей Р ( х), Q ( x) и R ( y и пытается с помощью принципа резолюции вывести пустой дизъюнкт. Для этого он ищет подходящий дизъюнкт, который разрешает подцель, скажем, Р ( х) и формирует новое целевое утверждение. В образующемся дереве вывода возникают следующие виды параллелизма. [11]
Конкретному применению логической программы соответствует понятие запроса ( цели) - например, каково значение функции, заданной логической программой, приданном значении аргумента. Вычисление ответа на запрос соответствует доказательству су-шествования такого объекта. Правила, по которым проводятся вычисления, образуют процедурную - операционную - семантику логической программы. [12]
Декларативный смысл логической программы определяет истинность Р вне зависимости от порядка обработки условий Q и R, так как все условия соединены логической операцией & и должны соблюдаться одновременно. [13]
Руководство исполнением логических программ осуществляется главным образом механизмами управления, заложенными в интерпретатор. Программист может оказывать влияние на общий ход исполнения программы, например на последовательность, в которой строятся вычисления, однако более тонкие детали, такие как управление протоколом связываний, могут быть оставлены для разбора интерпретатору. [14]
Полная правильность логической программы предполагает выполнение двух необходимых условий. Во-первых, каждое вычисляемое программой решение должно быть правильным относительно данной спецификации; это свойство называется частичной правильностью программы. Во-вторых, каждое решение, приписываемое спецификацией целевому утверждению, должно быть вычисляемым с помощью программы; это свойство называется полнотой программы. [15]