Математическая логика и теория алгоритмов. Для изучающих компьютерные науки

Возможны различные варианты расположения областей истинности пре­ дикатов, см. рис. 3.1, на котором области истинности обозначены теми же бук­ вами, что и сами предикаты. В варианте, изображённом на рис. 3.1 а), видно, что из истинности посылок следует истинность заключения. В вариантах, изо­ бражённых на рис. 3.1 б), в), из истинности посылок не следует истинность за­ ключения. § 11. Использование метода резолюций в языке ПРОЛОГ Язык программирования ПРОЛОГ существенно опирается на метод резо­ люций. Название ПРОЛОГ есть сокращение, означающее программирование в терминах логики. Вычисления на ПРОЛОГе можно рассматривать как доказа­ тельство теорем с использованием метода резолюций и применением дизъюнк­ тов специального вида - хорновских дизъюнктов. Отметим следующую принципиальную отличительную черту языка ПРОЛОГ. В языках программирования таких как АЛГОЛ, ФОРТРАН, С++ описывается, как решать ту или иную задачу. Программирование на ПРОЛОГе указывает только то, что нужно (необходимо) сделать, т.е. указывается цель, а не процедура решения. Программист должен дать определение ситуации и формулировать задачу, а система сама решает задачу. При решении задачи ис­ пользуется метод резолюций. Рассмотрим простейший пример. Пусть задано следующее дерево родст­ венных отношений, изображенное на рис. 3.2. То, что Том является родителем Боба, можно записать на ПРОЛОГе так: родитель (том, боб). Отметим, что расположение термов в предикате упорядочено. Так, в вы­ ражении «родитель (том, боб).» имеется в виду, что Том является родителем Боба. Всё приведенное дерево родственных отношений описывается следую- 82 ) Рис. 3.2. Дерево родственных отношений.