<<
>>

Специфика логического программирования

В системе чисто логического программирования ничего не сказано о том, как конкретное утверждение должно быть произведено из некоторого набора утверждений. Определенный путь или последовательность шагов, которые автоматическая дедуктивная система выбирает для производства утверждения, является проблемой управления для системы логического программирования.
Обычные утверждения представляют логику вычисления, в то время как дедуктивная система обеспечивает управление доказательством нового утверждения. Это свойство систем логического программирования принудило Р. Ковальски декларировать парадигму логического программирования как псевдоуравнение: алгоритм = логика + управление,

что контрастирует с выражением Н. Вирта для императивного программирования:

алгоритмы = структуры данных + программы

Принцип Ковальски указывает на существенную особенность логического программирования: так как логические программы не отражают вопросы управления, операции (в теории, по крайней мере) могут выполняться в любом порядке (или одновременно). Таким образом, языки логического программирования — наиболее подходящие кандидаты для распараллеливания вычислений.

К сожалению, автоматизированные дедуктивные системы испытывают трудности при непосредственном использовании исчисления предикатов первого порядка. Во-первых, одни и те же утверждения можно выразить огромным количеством способов. Во-вторых, существует слишком много правил вывода. В этих условиях большинство систем логического программирования вынуждено ограничивать себя специфическим подмножеством исчисления предикатов, названного формулами (дизъюнктами) Хорна, к изучению которых мы переходим.

<< | >>

Еще по теме Специфика логического программирования:

  1. Г.С.Иванова, Т.Н.Ничушкина, Е.К.Пугачев. Объектно- ориентированное программирование, 2001
  2. Эстетика программирования
  3. Основной курс (Программирование)
  4. Иванова Г.С. Основы программирования, 2002
  5. О. Л. Голицына, Т. Л. Партыка, И. И. Попов. ЯЗЫКИ ПРОГРАММИРОВАНИЯ, 2008
  6. Логическое ударение
  7. Часть вторая Родительское программирование
  8. МЫШЛЕНИЕ СЛОВЕСНО-ЛОГИЧЕСКОЕ
  9. Логическая последовательность вопросов
  10. 3.2.4. Логический анализ основных понятий
  11. Сергей Александрович Орлов. Теория и практика языков программирования: Учебник для вузов. Стандарт 3-го поколения, 2013
  12. 3.9. Логические ошибки
  13. Программирование телевизионного вещания
  14. По единому логическому основанию
  15. Логические ошибки вопроса
  16. 3.3. Логический контроль анкеты
  17. 1.3. Логическая структура вопроса
  18. Часть вторая Родительское программирование СУДЬБА ЧЕЛОВЕКА
  19. Нейро-лингвистическое программирование