Cтраница 3
В контексте логического программирования проблема верификации затрагивает ряд вопросов. Возможно, наиболее важным из них является вопрос о правильности вычисленных решений. Другой вопрос: все ли правильные решения задачи действительно вычисляются исходя из программы. Верификация - это процесс доказательства того, что программа удовлетворяет или не удовлетворяет требованиям такого рода. [31]
Процедурная природа логического программирования требует, чтобы каждое заключение имело поддержку в виде некоторого определенного правила, тело которого используется для вычисления значения истины, а его головой является данное заключение. Этим логическое программирование отличается от анализа ситуаций, где применимы альтернативные правила. То есть заключения должны быть процедурно обоснованы известными фактами, и запрещается переходить к заключениям, к которым не было явного обращения. [32]
В системах логического программирования рекурсия служит также для описания циклов, повторений и является важнейшим методом программирования. [33]
Основное отличие логического программирования и языка ПРОЛОГ от традиционного программирования и алгоритмических языков типа ФОРТРАН, БЕЙСИК, КОБОЛ и ПАСКАЛЬ заключается в основополагающих принципах логического программирования, а именно, в организации и выполнении логической программы. [34]
Большинство языков логического программирования, которые по существу есть ни что иное, как системы доказательства логических теорем, использующие метод резолюций, рассматриваются нами как первые шаги в направлении оптимального логического программирования. [35]
Многие языки логического программирования допускают использование только безопасных отрицаний; это обеспечивается встроенным механизмом задержки обработки нормальных целей до тех пор, пока все вхождения переменных не получат конкретных значений. [36]
В случае расширенного логического программирования взаимосвязи с формализмами немонотонного вывода позволяют уточнить смысл явного отрицания ( -) и его связь с отрицанием по умолчанию. [37]
Другое решение обеспечивает логическое программирование, созданное, преимущественно, европейскими учеными, в том числе, Колмероэ и Ковальским. [38]
По этой причине логическое программирование, которое мы будем понимать как концепцию программирования, базирующуюся на логике, всегда ограничивается лишь частью логических формул. [39]
Возможное в Прологе реляционное и логическое программирование завоевывало все большее количество горячих сторонников. [40]
Книга посвящена интеграции логического программирования и баз данных, которая позволяет образовать системы нового типа, расширяющие границы информатики как науки и позволяющие удовлетворять требованиям новых применений. [41]
Интенсивные исследования взаимосвязи логического программирования и реляционных баз данных проводились с конца 70 - х годов главным образом с теоретической точки зрения. Успеху интеграции способствовало то обстоятельство, что Пролог был выбран в качестве парадигмы языка программирования в японском проекте ЭВМ 5-го поколения. Целью этого проекта является разработка ЭВМ следующего поколения, ориентированных на применение в области искусственного интеллекта и, следовательно, способных выполнять исключительно большое число логических выводов в единицу времени. [42]
Взаимодействие между системой логического программирования и системой баз данных возникает независимо от фактического процесса вывода. [43]
Теперь в контексте логического программирования сами логические процедуры могут быть использованы как структуры данных и, стало быть, всякое предполагаемое различие между этими объектами пропадает. Термы, разумеется, также служат в качестве структур данных. Таким образом, какие бы виды структур данных ни использовались, их все следует отнести к логической компоненте программы. Более того, в логических программах практически не делается никакого описания управления, поскольку оно находится в компетенции интерпретатора. [44]
Рассматриваемая версия системы логического программирования Турбо-Пролог 2.0 работает под управлением DOS и имеет стандартизованный программный интерфейс. [45]