Cтраница 4
Другим возможным обобщением расширенного логического программирования может быть использование модальных операторов логики, допускающих конъюнкцию и дизъюнкцию. [46]
ПАРЛОГ ( язык ПАРаллельного логического программирования), разработанный Кларком и Грегори в 1984 г., является улучшенной модификацией Реляционного Языка. [47]
Центральным понятием в логическом программировании является отношение. Процесс выполнения программы трактуется как процесс общезначимости логической формулы, построенной из программы по правилам, установленным семантикой используемого языка. Результат вычисления является побочным продуктом этого процесса. [48]
Вот поэтому в логическом программировании распространены не только команды чисто функциональной природы, как в классическом программировании, но и предикаты, конструкции логики предикатов, которые могут принимать значения истины и лжи в зависимости от их интерпретации и значения их аргументов. Истинность или ложность того или иного предиката в соответствие с конкретными значениями его аргументов и определяет, какой из ответов да или нет будет выдан программой на поставленный вопрос. [49]
В первой половине книги логическое программирование вводится на уровне учебного пособия, однако в дополнение здесь дается гораздо больше теоретического и исторического материала, чем обычно можно было бы ожидать в учебнике по программированию. Уровень изложения соответствует курсу информатики, читаемому студентам первого года обучения. Во второй половине рассматриваются более сложные аспекты логики как вычислительного формализма. Цель этой части книги - собрать воедино, упростить и объяснить избранные темы из подчас разрозненной и технически очень сложной исследовательской литературы, а также дать обзор последних достижений в теории и приложениях. Она может быть использована в качестве справочника как студентами, специализирующимися в области логического программирования, так и теми исследователями, для которых эта область является сравнительно новой. [50]