Хоггер К. — Введение в логическое программирование :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Хоггер К. — Введение в логическое программирование

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

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

Название: Введение в логическое программирование

Автор: Хоггер К.

Аннотация:

Книга написана английским специалистом по программированию и знакомит читателей с фундаментальными идеями и методологией логического программирования. В ней много внимания уделено вопросам синтеза программ, реализации языков логического программирования и их применения. Материал тщательно отобран, приводится много примеров, облегчающих усвоение материала.

Язык:

Серия: Сделано в холле

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

ed2k: ed2k stats

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

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

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

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

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

Автоматическое доказательство теорем (automatic theorem proving)      47
Аксиома фрейма (frame axiom)      296
Активация вызова (call activation)      58
Активная процедура (active procedure)      230
Алгоритм Маркова (Markov algorithm)      280
Алгоритм поиска (search algorithm)      56 68—69
Алгоритм унификации (unification algorithm)      270—273
Амальгамирование (amalgamation)      294—295 298 305
Антецедент (antecedent)      32
Аргумент (argument)      19
База данных (database)      144—145 304
Базисная процедура (base procedure)      86
Ватерлоо-Пролог (Waterloo-PROLOG)      275
Верификация (verification)      см. «Правильность»
Ветвление (branching)      77 80—82
Возврат (backtracking)      70
Возврат (backtracking) после неудачи (after failure)      229
Возврат (backtracking) после успеха (after Success)      230
Восстановление пространства стека (reclaiming stack space)      252—264
Встроенная процедура (built-in procedure)      88
Встроенная функция (built-in function)      89
Входной массив данных (input heap)      227
Выбор вызова (call selection)      61
Выбор процедуры (procedure selection)      62—63
Вывод (derivation)      40—41
Вывод процедур (procedure derivation)      193—196 205—208 219 222
Вывод сверху вниз (top — down derivation)      40
Вывод успешный (successful derivation)      40
Вызов (call)      57—58
Вызов латентный (latent call)      75
Вызов отрицательный (negated call)      121—123
Вызов процедуры (procedure call)      58
Вызов решенный (solved call)      60
Высказывание (proposition)      19
Выход (из процедуры) (exit)      229
Выход (из процедуры) неудачный (failure exit)      229
Выход (из процедуры) успешный (successful exit)      229
Вычисление (computation)      56
Вычисление бесконечное (infinite computation)      64 67 73 183—184
Вычисление завершенное (terminated computation)      64
Вычисление конечное (finite computation)      64
Вычисление незавершенное (unterminated computation)      64
Вычисление тупиковое (unsuccessful computation)      64
Вычисление успешное (successful computation)      63
Вычислимая функция (computable function)      278—280
Вычислимое отношение (computable relation)      278
Вычислимость по Тьюрингу (Turing—computability)      279
Вычислимость, отношение (computed relation)      168—169
Вычисляемое решение (computed solution)      168
Грамматика определенных дизъюнктов (definite clause grammar)      313
Граница поиска (search frontier)      70 211—212
Граф связей (connection graph)      91
Декларативный язык (declarative language)      301—303 316
Декларация вида (mode declaration)      270 323
Денотат (denotation)      281
Дерево вычислений (computation tree)      65
Дерево поиска (search tree)      69
Деструктивное присваивание (destructive assignment)      162 264 297 299—300
Дизъюнкт (clause)      49 52 286 289
Дизъюнкт определенный (definite clause)      287
Доказательство от противного (proof by contradiction)      33
Допущение замкнутости мира (closed-world assumption)      121 289—290
Завершаемость (termination)      186—188
Заголовок процедуры (procedure heading)      58
Замыкание (множества процедур) (completion (of procedure set))      290
Запись активации (activation record)      см. «Фрейм»
Запрос (query)      13
Знак пунктуации (punctuation symbol)      19
И-параллелизм (AND-parallelism)      320—322
Извлечение ответа (answer extraction)      42—44
ИЛИ-параллелизм (OR-parallelism)      320—322
Именование (naming)      16—17 158—163
Имитация процесса возврата (simulation of backtracking)      116—118
Импликация (implication)      32
Имя процедуры (procedure name)      58
Инвертируемость (invertibility)      80
Индексирование (indexing)      146—148 228 236 273
Индивидуум (individual)      16—17 27
Интеллектуальная система, основанная на знаниях (intelligent knowedge-based system)      304—306
Интеллектуальный возврат (intelligent backtracking)      274
Интенсиональное представление (in-tensional representation)      144
Интервал целевого утверждения (span of goal)      167
Интерпретатор (interpreter)      12 55—56 227
Интерпретация (interpretation)      26—30 282—283
Интерпретация процедурная (procedure interpretation)      57—63
Инфиксная запись (infix notation)      23
Искусственный интеллект (artificial intelligence)      47 301 304—306
Исполнение (execution)      см. «Стек глобальный» «Стек «Стек
Исполнение (execution) в сопрограммном режиме (coroutining)      99 142—143
Исполнение (execution) в сопрограммном режиме под управлением потока данных (dataflow coroutining)      142—143 317—318
Исполнение (execution) логической программы (of logic program)      55—56
Исполнение (execution) под управлением потока данных (dataflow execution)      318—319
Истинностное значение (truth value)      28
Итерация (iteration)      82—86
Кандидат (для вызова) (candidate procedure)      228—229
Квазиотрицание (quasi-negation)      см. «Отрицание как неудача»
Квантификация (quantification)      21
Квантор всеобщности (universal quantifier)      22
Квантор существования (existential quantifier)      22
Компиляция (compilation)      269
Конечное пространство вычислений (finite computation space)      190
Консеквент (consequent)      32
Контекстно-зависимая грамматика (context-dependent grammar)      313
Контекстно-свободная грамматика (context-free grammar)      312
Контроль (соответствия) типов (type checking) множеств фактов (of assertion sets)      145—146
Контроль (соответствия) типов (type checking) термов (of terms)      142—143
Корректность резолюции (soundness of resolution)      47 286
ЛИСП (LISP)      132 164 288
Литера (literal)      52 286
Логика предикатов (predicate logic)      см. «Логика первого порядка»
Логическая и управляющая компоненты (logic and control components)      95 128—129 135
Логическая программа (logic program)      16
Логическая формулировка баз данных (logic formulation of batabases)      306—309
Логическая эквивалентность (logical equivalence)      43
Логический алгоритм (logic algorithm)      95
Логический вывод (logical inference)      16 32—35
Логическое следование (logical implication)      15 26 30—31
Логлисп (LOGLISP)      288
Макрообработка (macroprocessing)      222
Марсельский Пролог (Marseille PROLOG)      91 151 273—275
Машина параллельного вывода (Parallel Inference Machine)      326
Машина потока данных (dataflow machine)      316
Машина фон Неймана (von Neumann machine)      299 315
Метаморфозная грамматика (metamorphosis grammar)      313
Метаязык (metalanguage)      293
Методология программирования (programming methodology)      298—304
МИКРО-ПРОЛОГ (MICRO-PROLOG)      276 293 311 314—315
Многоключевое хэширование (multi-key hashing)      309
Множество процедур (procedure set)      54
Множество фактов (assertion set)      132
Множество фактов (assertion set) как входные и выходные данные (as input—output)      150—158
Множество фактов (assertion set) как массив (as array)      148—149
Множество фактов (assertion set) как структура данных (as data structure)      132 143—163
Множество фактов (assertion set) финитно-неудачных вызовов (finite failure set)      290
Моделирование поведения снизу вверх (bottom-up simulation)      102—110 156—157
Модель (model)      46
Модель И/ИЛИ процессов (AND/OR process model)      322
Молекула (molecule)      249
МПролог (MPROLOG)      274
Недетерминизм (non-determinism)      68 74 110—118
Неподвижная точка (fixpoint)      284
Неподвижная точка наибольшая (greatest fixpoint)      285
Неподвижная точка наименьшая (least fixpoint)      284
Неподвижная точка оптимальная (optimal fixpoint)      286
Неразрешимая программа (unsolvable program)      67 171 286
Неразрешимость (unsolvability)      180
Нерезолютивный вывод (non-resolution inference)      213
Нестандартная логика (non-standard logic)      280
Область интерпретации (domain of discourse)      27
Обработка естественного языка (natural language processing)      304 312—313

Обучение (education)      313—315
Общая структура логической программы (general structure of logic program)      54—55
Общезначимость (validity)      279 285
Общий пример (common instance)      36—37
Объектный язык (object language)      293
Ограничение целостности (integrity constraint)      146 308
Оператор отсечения (cut operation)      72
Операция вызова процедуры (procedure calling operation)      58—60 235—237
Определяемое (definiand)      192
Определяющее (definiens)      192
Опровержение (refutation)      42
Оптимизация последнего вызова (last-call optimization)      259—265
Основной (ground)      22
Основной доказуемости (provability relation)      294
Основной пример дизъюнкта (ground clause instance)      283
Основной тождества (identity relation)      25
Отношение (relation)      17—19
Отрицание (связка) (negation)      118—123 288—292
Отрицание (формула) (denial)      32
Отрицание (формула) исходное (initial denial)      40
Отрицание (формула) как неудача (negation-as-failure)      121—123 130 288—292
Отрицание (формула) как противоречие (negation-as-inconsistency)      292
Отрицание (формула) классическое (classical)      290—292
Отрицание (формула) пустое (empty denial)      33
Охрана (guard)      323
Параллелизм (parallelism)      303 315—316 319—324
Параллелизм конвейерный (pipelined parallelism)      322
Параллельный Пролог (Concurrent Prolog)      323 327
Параллельный процесс (concurrent process)      320
Паралог (PARALOG)      326
ПАРЛОГ (PARLOG)      323 327
Переименование переменных (renaming of variables)      39 44
Переключатели (switches)      126—127
Переменная (variable)      20—22
Персональная машина последовательного вывода (Personal Sequential Inference Machine)      326
Подстановка, дающая правильный ответ (correct answer substitution)      287
Подстановочность (substitutivity)      301
Подстановочный пример (substitution instance)      36
Полная правильность (total correctness)      173 177 190
Полное пространство вычислений (total computation space)      64
Полнота (completeness) множества процедур (of procedure set)      173
Полнота (completeness) программы (of program)      165 169 172—173
Полнота (completeness) резолюции (of resolution)      47 287
Порождение лемм (lemma generation)      154—158 310
Правила выбора (selection rules)      64—68
Правила эквивалентной подстановки (equivalence substitution rules)      217—219
Правило вывода (inference rule)      32
Правило вычислений (computation rule)      69 184 288
Правило поиска (search rule)      71—72
Правильность алгоритмов (correctness of algorithms)      181—190
Правильность программ (correctness of programs)      166 169—179
Предикат (predicate)      19—20 22
Предикатный символ (predicate symbol)      19
Предложение (sentence)      16 22—23
Предложение общезначимое (valid sentence)      48
Предложение родительское (parent sentence)      32
Представление данных (data representation)      245—252
Преобразование определяющих (definiens transformation)      192
Преобразование, улучшающее эффективность (efficiency-improving transformation)      114
Префиксная запись (prefix notation)      23
Пример (instance)      см. «Подстановочный пример»
Примеры логических программ (logic program examples) для выбора пар элементов (for pair selection)      208—213
Примеры логических программ (logic program examples) для вычисления квадратного корня (for square root estimation)      85
Примеры логических программ (logic program examples) для вычисления факториала (for factorials)      86 89 102 104
Примеры логических программ (logic program examples) для задачи о палиндроме (for palindrome testing)      139 141 149
Примеры логических программ (logic program examples) для задачи о подмножествах (for subset problem)      168 191
Примеры логических программ (logic program examples) для линейного поиска в списке (for linear search through lists)      111 112
Примеры логических программ (logic program examples) для нахождения путей в графе (for path finding)      105 106
Примеры логических программ (logic program examples) для нахождения следующего элемента в списке (for consecutivity testing in lists)      39 42 62 67 138 148
Примеры логических программ (logic program examples) для нахождения собственного вектора матрицы (for eigenproblems)      107 109 161
Примеры логических программ (logic program examples) для обнаружения пика (for peak detection)      112 114 126
Примеры логических программ (logic program examples) для обращения списков (for reversing lists)      99 100 247
Примеры логических программ (logic program examples) для подсчета числа различных элементов в списке (for counting and filtering lists)      96 98
Примеры логических программ (logic program examples) для поиска подстроки (for substring searching)      115 117
Примеры логических программ (logic program examples) для проверки упорядоченности списка (for orderness testing in lists)      214 215 222 223
Примеры логических программ (logic program examples) для распечатки списков (for printing lists)      155 159
Примеры логических программ (logic program examples) для склеивания списков (for appending lists)      133
Примеры логических программ (logic program examples) для сложения векторов (for удаления и вставки элемента в список (for deletion and insertion in lists)      119—121
Примеры логических программ (logic program examples) для сложения элементов списка (for addition of list members)      83
Принцип рефлексии (reflection principle)      294
Присваивание данных (data assignment)      75 239—243
Проблема общезначимости (validity problem)      48 197
Проблема фреймов (frame problem)      296
Проблемная область (domain of problem)      16
Проверка вхождения (occur check)      272
Проект создания ЭВМ пятого поколения (Fifth Generation Project)      276 301 324—327
Производимость (producibility)      181—186
Противоречие (contradiction)      33—34
Протокол производителей-потребителей (producer-consumer protocol)      318
Протокол связываний (binding history)      43
Процедура (procedure)      53 57—58
Процедура доказательства (proof procedure)      47
Процедура итеративная (iterative procedure)      83
Процедура рекурсивная (recursive procedure)      86
Разрешимая программа (solvable program)      67
Разрешимость (solvability)      179—181
Разыменование (dereferencing)      251
Раскрутка (bootstrapping)      270 293
Распределение данных (data distribution)      75
Рассуждения на метауровне (meta-level reasoning)      292—298
Реализация Пролога на машине DEC-10 (DEC-10 PROLOG)      92 255 262 270 275
Резольвента (resolvent)      32 286
Резолюция (resolution)      32 47 286—288
Резолюция (resolution) для вывода процедур (for procedure derivation)      208—209
Резолюция (resolution) как частичная разрешающая процедура (as partial decision procedure)      48
Резолюция (resolution) снизу вверх (bottom — up resolution)      49 102—103
Рекурсия (recursion)      86—87 99—101
Рекурсия (recursion) хвостовая (tail recursion)      274
Реляционная модель баз данных (relational model of databases)      306—307
Референт (referent)      300
Референциальная прозрачность (referential transparency)      301
Решение задач (problem solving)      39—42 49—50
Решение пошаговое (incremental problem solving)      101—102
Сборка мусора (garbage collection)      258 264
Свойство (property)      19
Связка (connective)      19
Связывание переменных (binding of variables)      43
Семантика (semantics) логических программ (of logic programs)      281—286
Семантика (semantics) неподвижной точки (fixpoint semantics)      281—286
Семантика (semantics) непроцедурная (non-procedural semantics)      281—286
Семантика (semantics) операционная (operational semantics)      57 281
Семантика (semantics) процедурная (procedural semantics)      57 281
Семантика (semantics) теоретико-модельная (model-theoretic semantics)      46 282 285
Семантическая сеть (semantic network)      313
Синтез программ (synthesis of programs)      198 203—205
Система ALICE (ALICE system)      303 323
Система APES (APES system)      311
Система CHAT-80 (CHAT-80 system)      308
Скелет (skeleton)      249
След (trail)      243—245
Совместное использование структур (structure sharing)      247—252 266—269
Согласование параметров (parameter matching)      59 124—125
Спецификация (specification)      165—166 169—170
Специфицируемое отношение (specified relation)      166
Специфицируемое решение (specified solution)      167
Список различий (difference list)      130
Стек (stack) глобальный (global stack)      255—256 266—267
Стек (stack) исполнения (execution stack)      237 239—243 254—257
Стек (stack) копий (copy stack)      266
Стек (stack) локальный (local stack)      255—256 266—267
Стиль пограммирования (programming style)      73 94
Стратегия поиска в глубину (depth-first strategy)      69
Структурная индукция (structural induction)      197
Структурное программирование (structured programming)      94 128 223 301
Таблица истинности (truth table)      29
Таблица решений (decision table)      13
Тезис Черна (Church’s Thesis)      279
Тело процедуры (procedure body)      58
Теорема Геделя о полноте (Godel Completeness Theorem)      285
Теорема дедукции (deduction theorem)      207

1 2

О проекте