Логическое и функциональное программирование
Часть 1
Логическое программирование
СОДЕРЖАНИЕ
ЛЕКЦИЯ 1. ВВЕДЕНИЕ. ЛОГИЧЕСКАЯ ПРОГРАММА. ОСНОВНЫЕ
КОНСТРУКЦИИ
1.1. Основные понятия. Исторический ракурс…………………………………..5
1.2. Логическая программа. Основные конструкции………………………….7
ЛЕКЦИЯ 2. ПРОГРАММИРОВАНИЕ БАЗ ДАННЫХ
2.1. Простые базы данных……………………………………………………………….12
2.2. Структурированные и абстрактные данные……………………………….15
2.3. Рекурсивные правила………………………………………………………………..17
2.4. Логические программы и модель реляционной базы данных……..19
ЛЕКЦИЯ 3. РЕКУРСИВНОЕ ПРОГРАММИРОВАНИЕ
3.1. Арифметика……………………………………………………………………………..22
3.2. Списки……………………………………………………………………………………..26
3.3. Построение рекурсивных программ…………………………………………..32
3.4. Бинарные деревья……………………………………………………………………..35
3.5. Работа с символьными переменными………………………………………..39
ЛЕКЦИЯ 4. ВЫЧИСЛИТЕЛЬНАЯ МОДЕЛЬ ЛОГИЧЕСКИХ ПРОГРАММ
4.1. Унификация……………………………………………………………………………..43
4.2. Абстрактный интерпретатор логических программ……………………46
4.3. Семантика логических программ………………………………………………48
ЛЕКЦИЯ 5. АНАЛИЗ СТРУКТУРЫ ТЕРМОВ
5.1. Типовые предикаты………………………………………………………………….51
5.2. Составные термы……………………………………………………………………..53
ЛЕКЦИЯ 6. МЕТАЛОГИЧЕСКИЕ ПРЕДИКАТЫ
6.1. Типовые металогические предикаты…………………………………………59
6.2. Сравнение неосновных термов………………………………………………….61
6.3. Использование переменных в качестве объектов……………………….63
6.4. Доступность метапеременных…………………………………………………..66
ЛЕКЦИЯ 7. ВНЕЛОГИЧЕСКИЕ ПРЕДИКАТЫ
7.1. Предикаты ввода – вывода……………………………………………………….67
7.2. Доступ к программам и обработки программ. Запоминающие
функции…………………………………………………………………………………..69
ЛЕКЦИЯ 8. НЕДЕТЕРМИНИРОВАННОЕ ПРОГРАММИРОВАНИЕ
8.1. Метод «образовать и проверить»………………………………………………73
8.2. Недетерминизм с произвольным выбором альтернативы и
недетерминизм с неизвестным выбором альтернативы…………….75
ЛЕКЦИЯ 9. НЕПОЛНЫЕ СТРУКТУРЫ ДАННЫХ
9.1. Разностные списки……………………………………………………………………77
9.2. Разностные структуры………………………………………………………………81
9.3. Справочники…………………………………………………………………………….83
9.4. Очереди……………………………………………………………………………………85
ЛЕКЦИЯ 10. ПРОГРАММИРОВАНИЕ ВТОРОГО ПОРЯДКА
10.1. Множественные выражения……………………………………………………..89
10.2. Другие предикаты второго порядка…………………………………………..93
ЛЕКЦИЯ 11. МЕТОДЫ ПОИСКА
11.1. Поиск на графах пространства состояний…………………………….96
11.2. Игровые деревья поиска……………………………………………………..102
ЛИТЕРАТУРА………………………………………………………………………………………….107
