Введение
1. Методы реализации систем декларативного программирования 12
1.1. Декларативная парадигма программирования 12
1.1.1. Функциональное программирование 13
1.1.2. Логическое программирование 14
1.1.3. Функционально-логическое программирование 15
1.1.4. Формализм направленных отношений 17
1.2.Виды и модели вычисления декларативных программ 18
1.2.1. Функциональные программы 19
1.2.2. Логические программы 20
1.2.3. Функционально-логические программы 22
1.2.3.1. Спрямление 22
1.2.3.2. Сужение 23
1.2.3.3. Логика 24
1.2.3.4. Декларации режимов вычислений 25
1.3.Реализация моделей вычисления 28
1.3.1. SECD-машина 26
1.3.2. Виртуальная машина Уоррена (WAM) 27
1.4.Вычисление направленных отношений 28
1.4.1. Вид программы 28
1.4.2. Внутреннее представление 28
1.4.3. Модели вычислений 29
1.4.4. Задачи редукции сетей 31
1.4.5. Реализация вычисления 32
1.5.Визуальное программирование 33
1.5.1. Логическое программирование на Акторном Прологе 33
1.5.2. Функциональное программирование в LabView 34
1.5.3. Система программирования для языка СИПРОЛ 35
1.5.4. Программирование на основе СПНО 35
1.5.5. Вопросы автоматического построения изображения сетей 36
Основные результаты и выводы 38
2. Модели и методы вычисления направленных отношений 39
2.1.Основные понятия теории НО 39
2.2. Алгебраическое определение НО 40
2.3.Сетевое представление НО 41
2.3.1. Размеченные сети 41
2.3.2. Графическая нотация 43
2.3.3. Синтаксические операции над сетями 45
2.3.4. Трансформационные операции над сетями 47
2.3.4.1. Подстановка 47
2.3.4.2. Редукция 48
2.3.5. Операции композиции сетей 50
2.4.Базовая модель вычисления НО 52
2.4.1. Цель и задачи вычисленияНО 52
2.4.2. Сетевой язык 52
2.4.3. Применение редукции сетей 54
2.4.4. Виды запросов 56
2.4.5. Стратегии вычислений 57
2.4.5.1. Поиск в глубину 57
2.4.5.2. Поиск в ширину 58
2.4.5.3. Смешанные стратегии 58
2.5.Логический вывод 60
2.5.1. Логика предикатов и НО 60
2.5.2. Модификация базовой модели вычисления НО 60
2.5.3. Мультиправила 61
2.5.4. Стратегии вывода 63
2.6.Вопросы оптимизации вычислений 64
2.6.1. Редукция «по фронту» 64
2.6.2. Кольцевая подстановка 66
2.6.3. Подстановка с контекстом 67
2.6.4. Оптимизация последнего вызова 68
2.6.5. Оптимизация порядка применения правил 68
2.7. Абстрактная машина вычисления НО 69
2.7.1. Базовый набор вычислительных операций 69
2.7.2. Алгоритм работы машины 72
Основные результаты и выводы 73
3. Подсистема исполнения запросов СФЛП 74
3.1.Цели и задачи 74
3.2.Внутреннее представление сетевых программ 74
3.2.1. Представление сетевой грамматики 75
3.2.2. Представление сетей 75
3.2.3. Разметка сетей 77
3.2.4. Графическое представление 79
3.2.5. Формат хранения во внешней памяти 79
3.3.Базовые механизмы вычисления 80
3.3.1. Подстановка 80
3.3.2. Редукция 84
3.4.Оптимизация вычислений 87
3.4.1. Кольцевая подстановка 88
3.4.2. Оптимизация последнего вызова 89
3.4.3. Упорядочивание правил 89
3.4.4. Анализ подстановочной разметки 90
3.4.5. Мультиправила 90
3.4.6. Эффективность оптимизации 90
3.5. У правление процессом вычисления 91
3.5.1. Поиск в глубину 91
3.5.2. Поиск в ширину 93
3.5.3. Маски вычислимости 94
З.б.Системные отношения и типы данных 95
3.6.1. Натуральные числа, списки и строки 95
3.6.2. Функциональные системные отношения 96
3.7.0тладка программ и отображение результатов вычисления 97
3.7.1. Дерево отладки 97
3.7.2. Статистика вычисления 99
3.7.3. Отображение результатов вычисления 100
3.8.Режимы вычисления 101
3.8.1. Режим вычислений с разметкой 101
3.8.2. Генерация языка по КССГ 102
3.8.3. Логический вывод 102
3.8.4. Компиляция программ языка S-FLOGOL 102
3.9.Импорт программ на языке Пролог 103
3.9.1. Ограничения на импортируемые программы 103
3.9.2, Системные предикаты и списки 105
Основные результаты и выводы 106
4. Графический редактор СФЛП 108
4.1.Технология графического программирования 108
4.1.1. Формирование грамматики 108
4.1.2. Построение правил грамматики 111
4.1.2.1. Операции формирования структуры тела правила 111
4.1.2.2. Вспомогательные структурные операции 113
4.1.2.3. Вспомогательные графические операции 115
4.2.Графический редактор 116
4,2.1. Основные требования к редактору 116
4.2.2. Принципы построения 118
4.2.3. Архитектура редактора 119
4.2.4. Интерфейс пользователя 120
4.2.5. Основные подсистемы редактора 123
4.3.Особенности реализации графического редактора 126
4.3.1. Формирование и прорисовка изображения 127
4.3.2. Построение дуг между объектами сети 128
4.4. Автоматическое формирование графического изображения сети 131
4.4.1. Этапы построения графического изображения сети 132
4.4.2. Учет геометрических размеров объектов сети 134
4.4.3. Минимизация объема вычислений методом оболочек 137
4.4.4. Формирование сил отталкивания 139
4.4.5. Отслеживание колебательного движения объектов 139
Основные результаты и выводы 141
Заключение. Основные результаты работы 142
Список сокращений 143
Список литературы
