|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Малпас Дж. — Реляционный язык Пролог и его применение |
|
|
|
| Предметный указатель |
Абстрактные типы данных 270
Аксиома в логике высказываний 33—37
Аксиома в логике предикатов 39—40 42 45—49
Аксиома фреймов 291—292 299
Аксиоматическое определение 200 254—256
Аксиоматическое определение множества ответов 200
Аксиоматическое определение отношения 46 48 65
Алгоритм поиска с возвратом 126 155—156 191 194
Алгоритм процедурный 171—174
Алгоритм рекурсивный 47
Алгоритм, определение 36
Алгоритм, определение Ковальеки 65
Алгоритм, основанный на правиле резолюции 57—58
Ассоциативность операции 169
Атомарная формула 37—38
Атомарное высказывание 29—34
База данных динамическая 291—292
База данных неявная 85 121
База данных реляционная 72
База данных явная 85 99 121
База данных, ее состояния 291—292
База данных, состоящая из фактов 78
Бесконечная область интерпретации 47
Бесконечный цикл 223 305 315—318
Бихевиористический подход к программированию 178—179 200—203
Булева алгебра 25
Включение в класс/вхождение в состав класса в объектно-ориентированном формализме 271
Включение в класс/вхождение в состав класса в формализме семантических сетей 264
Включение в класс/вхождение в состав класса в формализме фреймов 265
Внешний смысл символического обозначения 256—259
Встроенные предикаты 105—106 112 141—142 152 154—174
Вычислительный формализм 36
Вычислительный формализм семантических сетей 262—264
Вычислительный формализм фреймов 264—268
Вычислительный формализм, объектно-ориентированный 268—271
Вычислительный формализм, определение 252
Вычислительный формализм, Пролог как вычислительный формализм 252—259 319—321 325
Вычислительный формализм, сопоставление с языком Си 259
Двоичное дерево 120
Декларативная граница 320—323 325—326
Декларативная семантическая модель Пролога 66—68
Декларативная управляющая информация 325—326
Декларативный смысл 87—88 142 154 319 322
Декларативный стиль Пролога 64
Дескриптивное программирование 62—64
Детерминированность 106 146 154 328—329
Диаграмма в виде дерева доказательства 92—95 115 116
Дизъюнктивный силлогизм 22 55
Доказательство с использованием правила резолюции 55—59
Доказательство, его автоматизация 49—50
Доказательство, его алгоритмическая верификация 36
Доказательство, семантические методы 34—35 45—46
Доказательство, синтаксические методы 34—35 45—46
Заголовок правила 82—83 166
Заголовок правила, квантификация переменной в нем 84
Заголовок правила, унификация с ним 130—134
Законы логики 19—20 68—69
Запрос 63 65 78—82
Запрос, его входные и выходные данные 81
Запрос, его выполнение 89
Запрос, его к правилу 83
Запрос, его как вызов процедуры 67
Запрос, его подразумеваемый смысл 70 298 318 325
Запрос, его составной 81 89
Изоморфизм 14
Интерпретация 31 43 252 257 272
Интерпретация алгебраических правил 25—26 28
Интерпретация в логике высказываний 31—32 35
Интерпретация в логике предикатов 43
Интерпретация Хербранда 51—53
Интерпретация, область интерпретации 38—39
Квантификация переменных 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
Метаязык Пропога 70—71
Метаязык, его определение 36—37 74
Метаязык, его предикаты 71—72
Метаязык, его синтаксическое соотношение с объектным языком 69
Метаязык, его функции 68—69
Метод в объектно-ориентированном формализме 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
Наследование сообщений в объектно-ориентированном формализме 269—270
Наследование, концепция наследования 261—262
Наследование, механизм наследования в Прологе 271—299
Начало списка 111
Непоследовательность 50
Нетерминал 211
Неявная база данных 85
Нисходящая стратегия решения задач 57—59
Обнаружение циклов 314 316—318
Обрабатывающая структура 253 256 260—261
Обработка списков 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
Операции для абстрактных типов данных 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
Переменная в правиле 82—84
Переменная в Прологе 64
Переменная во фразовой форме 56—58
Переменная пропозициональная 30 32 35
Переменная, ее внутреннее обозначение 119
Переменная, ее квалификация 29 43—44 47
Переменная, ее квалификация в запросе 79 102
Переменная, ее квалификация в правиле 84
Планирование производственных операций 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
Правильно построенная формула (ППФ) в логике высказываний 30—31
Правильно построенная формула (ППФ) в логике предикатов 38
Праворекурсивное правило 214—217 251
Предикат в силлогистической логике 20
Предикат встроенный 105—106 112 141—142 152 154—171
Предикат «assert» 159—163 173—174 201 296 333—334 361 366 380
Предикат «atom» 77 80 96 107
Предикат «atom», определение 77
Предикат «clause» 166 308 309 317 324
Предикат «findall» 167—168 174—175 203 320 325 326
Предикат «findall» как расширение обрабатывающей структуры Пролога 253 260 298
Предикат «findall», его реализация 333—334
Предикат «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
Предикат «обр_порядок» 333
Предикат «один_раз» 149—150 173
Предикат «сократить» 97 129 141—150 155 158 167 182—184 289 310
Предикат «сократить» как подцель 142
Предикат «сократить», его влияние на процедуру 143—146
Предикат «сократить», его влияние на составной запрос 142
Предикат «сократить», его ненужное влияние 187—188 272
Предикат «сократить», его применение для наложения ограничений, обеспечивающих целостность отношений 182—183
Предикат «сократить», его применение для придания процедуре детерминированности 145—146
Предикат «сократить», ограничение области его действия 148—150
Предикат, его определение 77
Предикат, его символическое обозначение 38 41 42
Предикат, определение Фреже 28
Предикат, определяемый множеством фактов 77—78
Предикат, определяемый правилом 83—84
Предположение о замкнутости мира 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
Рекурсивная процедура 90—95 109 114 172
Рекурсивная разрешимость 49
Рекурсивная структура 108—110 123
Рекурсивный алгоритм 47 90—91 195 197
Реляционная база данных 72
Рефлексивность 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
Система восходящего грамматического разбора 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
Структура (составной терм) 107—110
Структура области знаний 33 39—40 64—66
Структура системы 253—254 277 291
Структура «./2» 110—113
Тавтология 32—33
Тело правила 82—83
Тело правила, квалификация переменных в нем 84
Теория 252—253
Теория в логике высказываний 31 32
Теория во фразовой форме 56—58
Теория, ее интерпретация 43
Теория, ее полнота и последовательность 37
Теория, ее следствие 45
Теория, ее сходство с Пролог-программой 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
Управление файлами 156—157 167 388—389 394 401—402 407—408 419—420
Управление, определение Ковальски 66
Формализм фреймов 264—268
Формализм фреймов в сравнении с механизмом наследования Пролога 278
Формализм фреймов в сравнении с объектно-ориентированным формализмом 271
Формализм фреймов, его реализация с помощью Пролог-программы 266
Формальный смысл дескриптивной программы 253—255 318—319
Формальный смысл символического обозначения 256—259
Фраза Хорна 17—18
Фраза Хорна как форма логики предикатов 53—55
Фраза Хорна, записываемая на Прологе 62—63
Фраза Хорна, квалификация переменных в ней 56
фразовая форма 53—56
Функция арифметическая 105 395 402 408 414 420
Функция «следующий за» 47
Функция, ее анализ 39
Функция, ее определение 40
|
|
|
| Реклама |
|
|
|
|
|
О проекте