ВУЗ:
Составители:
Рубрика:
3
Содержание
Предисловие............................................................................................................. 5
1 Логическое программирование и аксиоматические системы ......................... 5
1.1 Общие положения ......................................................................................... 5
1.2 Автоматизация доказательства в логике предикатов................................ 7
1.2.1 История вопроса......................................................................................... 7
1.2.2 Скулемовские стандартные формы.......................................................... 8
1.2.3 Метод резолюций в исчислении высказываний. .................................. 11
1.2.4 Правило унификации в логике предикатов........................................... 13
1.2.5 Метод резолюций в исчислении предикатов ........................................ 15
2 Введение в язык логического программирования ПРОЛОГ......................... 16
2.1 Общие положения ....................................................................................... 16
2.2 Основы языка программирования Пролог ............................................... 17
2.3 Использование дизъюнкции и отрицания. ............................................... 21
2.4 Унификация в Прологе............................................................................... 21
2.5 Вычисление цели. Механизм возврата. .................................................... 22
2.6 Управление поиском решения. .................................................................. 24
2.7 Процедурность Пролога. ............................................................................ 25
2.8 Структура программ Пролога.................................................................... 26
2.9 Использование составных термов ............................................................. 28
2.10 Использование списков ............................................................................ 30
2.11 Применение списков в программах ........................................................ 32
2.11.1 Поиск элемента в списке ....................................................................... 32
2.11.2 Объединение двух списков ................................................................... 33
2.11.3 Определение длины списка................................................................... 34
2.11.4 Поиск максимального и минимального элемента в списке............... 35
2.11.5 Сортировка списков ............................................................................... 35
2.11.6 Компоновка данных в список ............................................................... 37
2.12 Повторение и рекурсия в Прологе .......................................................... 38
2.12.1 Механизм возврата................................................................................. 38
2.12.2 Метод возврата после неудачи ............................................................. 39
2.12.3 Метод повтора, использующий бесконечный цикл ........................... 41
2.13 Методы организации рекурсии................................................................ 42
2.14 Создание динамических баз данных ....................................................... 45
2.15 Использование строк в Прологе. ............................................................. 49
2.16 Преобразование данных в Прологе......................................................... 51
2.17 Представление бинарных деревьев ......................................................... 52
2.18 Представление графов в языке Пролог................................................... 55
2.19 Поиск пути на графе. ................................................................................ 57
2.20 Метод “образовать и проверить”............................................................. 59
3 Основные стратегии решения задач. Поиск решения в пространстве
состояний ............................................................................................................... 62
3.1 Понятие пространства состояния .............................................................. 62
3.2 Основные стратегии поиска решений в пространстве состояний ......... 64
