Реляционный язык Пролог и его применение / Гл.6,7,Прилож.,Допол / pred_uk

Абстрактные типы данных 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