Реляционный язык Пролог и его применение / Гл.6,7,Прилож.,Допол / Указатель
.docУказатель
Абстрактные типы данных 270
Аксиома в логике высказываний 33-37
- предикатов 39-40,42,45-49
-фреймов 291-292,299
Аксиоматическое определение 200, 254-256
- множества ответов 200
- отношения 46, 48, 65
Алгоритм, определение 36
- Ковальски 65
- основанный на правиле резолюции 57-58
- поиска с возвратом 126, 155-156.191,194
- процедурный 171-174
- рекурсивный 47
Ассоциативность операции 169
Атомарная формула 37-38
Атомарное высказывание 29 34
База данных динамическая 291-292
- ее состояния 291 292
- неявная 85,121
- реляционная 72
- состоящая из фактов 78
- явная 85, 99,121
Бесконечная область интерпретации 47
Бесконечный цикл 223, 305, 315-318
Бихевиористический подход к программированию 178-179, 200-203
Булева алгебра 25
Включение в класс/вхождение в составкласса в объектно-ориентированном формализме 271
- в формализме семантических сетей 264
- фреймов 265
Внешний смысл символического обозначения 256 259
Встроенные предикаты 105-106, 112, 141-142,152.154-174
Вычислительный формализм 36
- объектно-ориентированный
268-271
- определение 252
-Пролог как вычислительный формализм 252-259,319-321,325
- семантических сетей 262-264
- сопоставление с языком Си 259
- фреймов 264-268
Двоичное дерево 120.124-126
Декларативная граница 320-323, 325-326
- семантическая модель Пролога 66-68,129
- управляющая информация 325-326
Декларативный смысл 87-88, 142, 154, 319, 322
- стиль Пролога 64
Дескриптивное программирование 62-64
Детерминированность 106, 146, 154, 328-329
Диаграмма в виде дерева доказательства 92-95, 115-116
Дизъюнктивный силлогизм 22, 55
Доказательство, его автоматизация 49-50
- алгоритмическая верификация 36,49
- с использованием правила резолюции 55-59
Доказательство, семантические методы 34-35, 45-46
- синтаксические методы 34-35, 45-46
Заголовок правила 82-83, 166
- квантафикация переменной в нем 84
-
унификация с ним 130-134
Законы логики 19-20, 68-69
Запрос 63,65,78-S2
- его выполнение 89
- входные и выходные данные 81,107
- подразумеваемый смысл 70, 298,318,325
- к правилу 83
- как вызов процедуры 67
- составной 81, 89
Изоморфизм 14,321,325
Интерпретация 31, 43, 252. 257. 272
- алгебраических правил 25-26, 28
- в логике высказываний 31-32, 35
- предикатов 43
- область интерпретации 38-39
- Хербранда 51-53
Квантификация переменных 20-21, 29, 38. 43-44, 56, 79, 84, 102. 152
Компараторы 164
Конкретизация переменной 80
Конструктор списка 111
Концепции представления знаний 261-264,271-273,278-279
Леворекурсивная процедура 93-94, 115, 223-227, 251, 304-305, 314
Лексический анализатор 207-211, 234
Логика высказываний 29-37
- предикатов 37-49, 252-253
Логический соединитель 30-32
Метаязык 151,298.318,321
- его определение 36-37. 74
- предикаты 71-72
- синтаксическое соотношение с объектным языком 69
- функции 68-69
- Пролога 70-71
Метод в объектно-ориентированном формализме 268-271,278
- работы системы восходящего грамматического раэбора 217-219
-
системы нисходящего грамматического разбора 217
Микро-Пролог 74, 101-102, 229-237
-
его синтаксис 230
Множество ответов бесконечное 186 193-196
- неполное 147-149, 188
- упорядоченное 191-200
-
циклическое 186, 187, 189, 193
Модель в логике высказываний 32-35
- предикатов 44-45
- Хербранда 51-53, 57
Наследование значений слотов в формализме фреймов 265
- концепция наследования 261-262
- механизм наследования в Прологе 271-299
- сообщений в объектно-ориентированном формализме 269-270
Начало списка 111
Непоследовательность 50
Нетерминал 211
Неявная база данных 85. 121
Нисходящая стратегия решения задач 57-59
Обнаружение циклов 314, 316-318
Обрабатывающая структура 253, 256,260-261,273,298.318
Обработка списков 112-119
Обратимая процедура 118, 127, 175
Объектно-ориентированный формализм 262,268-271,274,278,299
Объектный язык 26, 68-70, 151
Ограничения, обеспечивающие целостность 96-98, 146, 163, 180,181-183, 267, 275, 287, 293. 296, 323-325
Онтологические предположения логики
-
предикатов 261
Операции 168-171, 177, 203-204, 235
- арифметические 105, 395, 402, 408,414,420
- для абстрактных типов данных 270-271
- как их определить 168-171
Опровержение фразы в механизме наследования 277-278
Оптимизация остаточной рекурсии 392-393
Остаток списка 111
Отношения 76, 86, 95
- в логике предикатов 37-38
- диаграммы, иллюстрирующие их 181
- их аксиоматическое определение 46-48,65,255
- общая теория 28-29
- объявление 64
- свойства 96, 99-101, 183-185
- семантическое определение 40-41
- типы 95-101
Отрицание в логике высказываний 26-27,30
- предикатов 38
- как неудача 150-151
- явное 152
Переменная в запросе 79-82, 102,107
- в правиле 82-84
- в Прологе 64
- во фразовой форме 56-58
- ее внутреннее обозначение 119
- квантафикация 29, 43-44, 47
- в запросе 79,102
- в правиле 84
- пропозициональная 30, 32, 35
Планирование производственных операций 197-199, 339-380
Побочные эффекты ввода/вывода 154
- управления 129, 173, 200-203, 260, 273, 279, 297, 319-321, 322. 325-326
Подход к программированию с позиций потока данных 178-179,190-200
Поиск с возвратом 126, 130, 135
Понятие "класс" в объектно-ориентированном формализме 268-271, 278
Правило вывода 22, 35-36, 47, 252
- с помощью метода резолюции 55,57-59
Правильно построенная формула (ППФ) в логике высказываний 30-31
-
предикатов 38
Право рекурсивное правило 214-217, 251
Предикат в силлогистической логике 20
- встроенный 105-106, 112, 141-142,152,154-171 ,
- его определение 77
- символическое обозначение 38,41,42
- определение Фреже 28
- определяемый множеством фактов 77-78
- правилом 83—84
- "обр_порядок" 333
- "один_раз" 149-150,173
- "сократить" 97, 129, 141-150, 155. 158, 167, 182-184, 289, 310
- его влияние на процедуру 143-146
- на составной запрос 142
- ненужное влияние 187-188, 272
- применение для наложения ограничений, обеспечивающих целостность отношений 182-183
- для придания процедуре детерминированности 145-146
- как подцель 142
- ограничение области его действия 148-150
- "assert" 159-163, 173-174, 201, 296,333-334,361,366,380
- "atom" 77,80,96, 107
- определение 77
- "clause" 166, 308, 309, 317, 324
- "findall" 167-168, 174-175, 203,320.325,326
- его реализация 333-334
- как расширение обрабатывающей структуры Пролога 253, 260, 298
- "name" 165-166, 209, 231-232, 308
- "not" 152, 153
- "repeat" 167, 176, 193, 237, 250
- "retract" 160, 163. 174, 296, 334
- "see" 156,167
- "tell" 156
Предположение о замкнутости мира 70-71,150,181-182
-
об открытости мира 151
Представление знаний 64-66, 73, 252
-
в вычислительном формализме 253-255
-
в языке Си 259
Пример с миром кубиков 292-297, 335-336
- с птицами 262-264, 269-271, 279-280
- с собранием 264-268, 271-272, 277-279
- с экологическим процессом 193— 197
Программа "вид" ("видимый Пролог") 141,304,310-314
- "восх_объект" (выполняет восходящий грамматический разбор) 217-229,304
- "вып" (выполняет запросы) 305-309, 324
- "ген чисел" (генератор чисел) 346
- "запросбд" (экранно-ориентированная программа выполнения запроса) 336-339
- "иоц" (интерпретатор, обнаруживающий циклы) 304-305, 314-318, 326
- как метаязыковой предикат 318
- "найти или спросить" 201-202, 205,325
- "объект" (нисходящий грамматический разбор) 212-217, 229, 240-242
- "отобразить_ состояние" (мира кубиков) 294-295,335-336
- "поместить" (программа сбора данных) 296, 326-327
- "рз" (решатель задач) 324-325
- как предикат метаязыка 325
- "сп_ неповт_ знач" 334
- "читатьпредл" (лексический анализатор) 208-211,234,250-251, 406
Пространство поиска запроса 141 -142,183
Противоречие 20, 32—33, 69
- в процедуре опровержения 51
-
при резолюции 57—59
Процедура опровержения 50—51, 53, 57
- "вводполя" 165-166,290,334 -335,338
- "послать" 273-277, 279-282, 288-291, 296-298, 318, 325, 326
- как предикат метаязыка 298
- "схема" 237-239, 241, 245-246,336
Процедурная семантика логики 59, 66-67
Процедурный алгоритм 171 -174
-
смысл 87-88, 93,154
Путь доказательства 305-310
Реляционная база данных 72
Рекурсивная процедура 90-95, 109, 114,172
- разрешимость 49
-
структура 108-110,123
Рекурсивный алгоритм 47, 90-91, 195, 197
Рефлексивность 96, 99-101, 180, 183-184,190,293
Сбор данных 293
Свойство двунаправленности аргумента 107,118, 127,213,235
Семантика логики высказываний 31-33
Семантическая модель Пролога в виде
- абстрактной машины 67, 129
- сеть 262-264, 299
-
реализующая ее Пролог-программа 263-264,299-300
Семантические модели Пролога 66-68, 129
-
свойства формул 44—45
Семантическое определение функций и отношений 40-41
Силлогизм 21-24
Симметрия 25, 96, 98-100, 180, 183-186, 190,293
Система восходящего грамматического разбора 73, 206, 217-229, 251
- ее стратегия 207, 217
- используемые в ней леворекурсивные правила 223-228
-нисходящего грамматического разбора 206, 211-215, 228-229, 231,239,251
- ее стратегия 207, 216-217
-
используемые в ней леворекурсивные правила 223-224
Смысл внешний 256-259
- декларативный 66—67, 83, 85— 86,141-142,154,260,273
- дескриптивной программы 252— 253, 319-320
- неформальный 29, 33-34, 36
- процедурный 87-88, 93, 154
- символического обозначения 256-258
Соединитель 30-31.240
- "или" 89-90
- неявный 88
Состояния базы данных 291-292
-
знаний 272-274, 278-280, 298
Стиль программирования 76, 113, 174, 178, 180, 200-202, 260-261, 318- 323,325-326,383
Стратегии решения задач 57, 59, 70-71, 207,298,304,318
Структура (составной терм) 107-110
- "./2" 110-113
- области знаний 33, 39-40, 64-66
- системы 253-254. 277, 291
Тавтология 32-33,69
Тело правила 82-83
-
квантификация переменных в нем 84
Теория 252-253
- в логике высказываний 31, 32
- во фразовой форме 56—58
- ее интерпретация 43
- полнота и последовательность 37
- следствие 45,5 3
- сходство с Пролог-программой 65, 252-254
- модели 298
-
области знаний 33, 39
Терминал 211
Традиционная логика 19-24
Транзитивность 96, 100-101, 181, 185-190,293,299,306
- отношения включения а класс 21
Удовлетворительный 44-45
Унификация 112, 129-138, 243, 310
- при резолюции 56
- списков 113
Управление, определение Ковальски 66
- файлами 156-157,167, 388-389, 394, 401-402. 407-408, 419-420
Формализм фреймов 264—268
- в сравнении с механизмом наследования Пролога 278
-
с объектно-ориентированным формализмом 271
-
его реализация с помощью Пролог-программы 266
Формальный смысл дескриптивной программы 253-255,318-319
-
символического обозначения 256-259
Фраза Хорна 17-18
- записываемая на Прологе 62-63
- как форма логики предикатов 53-55
- квантификация переменных в ней 56
Фразовая форма 53-56
Функция арифметическая 105, 395, 402, 408,414,420
- ее анализ 39,64
- определение 40
- семантическое определение 41, 65
- синтаксис 38
- "следующий за" 47
Экспертная система 73, 302-303, 326
Экспертные консультации 302-303
Явная база данных 85, 99,121
Язык запросов 237-250