Малпас Дж. — Реляционный язык Пролог и его применение :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

Малпас Дж. — Реляционный язык Пролог и его применение

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Реляционный язык Пролог и его применение

Автор: Малпас Дж.

Аннотация:

Описывается реляционный язык программирования Пролог, рассматривается методика программирования и конкретные приложения. Содержит большое число удачно подобранных примеров, иллюстрирующих суть обсуждаемых явлений, подробный предметный указатель, глоссарий. Для специалистов в области вычислительной техники и информатики.

Язык:

Рубрика: Computer science/Языки программирования/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1990

Количество страниц: 464

Добавлена в каталог: 19.11.2005

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

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

1 2

О проекте