Стерлинг Л., Шапиро Э. — Исскуство программирования на языке Пролог :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Стерлинг Л., Шапиро Э. — Исскуство программирования на языке Пролог

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

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

Название: Исскуство программирования на языке Пролог

Авторы: Стерлинг Л., Шапиро Э.

Аннотация:

В книге излагаются основы логического программирования. Дается описание языка Пролог. Обсуждаются ввод-вывод, приемы и средства организации интерактивных программ, вопросы недетерминированного программирования, применения структур данных, допускающих накопление данных, техника грамматического разбора, программирование метаинтерпретаторов. Изложение удачно иллюстрируется примерами программ. Рассматриваются некоторые приложения Пролога: программирование игр, создание экспертных систем и компилятора для языка высокого уровня.

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

1C-Пролог      81 100 188
Analogy      182 189
APES      260
APPEND      47 48 63 67 72 74 75 82 88 89 91 133 193 204 220
apply (команда редактора)      148 149
apply (предикат второго порядка)      222 223
arg      113 117
Assert      145 146
atom      110 111
CALL      126
CAR      44
CDR      44
Clause      144
dc      203—210
DCG      203—210
Edinburgh-Пролог      81 100 101 120 154 160 242
ELIZA      184 185 189
FCP      295
FET      143
functor      112 113
GHC      70 81
KWIC      220 221
Lips      155 163
LOGLISP      100
McSAM      185—187 190
Member      44—47 93 138 139 166
MU-Пролог      81 100
Mucin      259 274
NAME      142
nonvar      119
NOT      134
Parlog      70 81
PL      296
Press      281 282 294—295
put      143
Quintus Prolog      154
READ      142—144
rplacd      191
S-выражение      191
size_of      213
SLD-резолюция      79
univ      116 117
var      119
Wisdom Пролог      102 242
WRITE      141
Абстракция данных      30—32 171
Автомат      179—182
Автомат конечный недетерминированный      179—181
Автомат магазинный      179—181
Алгебра реляционная      34 35
Алгоритм Евклида      42 43 102
Алгоритм Ли      217—219 224
Алгоритм минимаксный      235—237
Алгоритм унификации      63—65 121 122
Альфа-бета-отсечение      236—238
Анализ лексический      298
Аргумент      15 24
Арность      15 24 28
АССЕМБЛЕР      309 310
Атом      13
База данных логическая      26
База данных простая      26—29
База данных реляционная      34 35
Базис Эрбрана      71 72
Вариант алфавитный      62 63
Ввод-вывод литеры      142 143
Ввод-вывод слова      143
Ввод-вывод списка      143
Верификация      161
Вершина безуспешная      76 243
Вершина успешная      76
Внелогические предикаты      141—154
Внелогические предикаты ввода-вывода      141—144
Возведение в степень      40
Возврат      81 84 128—130 152 167 188 240
Возврат внешний      81
Возврат глубокий      81
Вопрос      14—18
Вопрос второго порядка      211—214
Вопрос конъюнктивный      17—18
Вопрос основной      15
Вопрос простой      14 18
Вопрос экзистенциальный      16 23 212
Выбор недетерминированный      23 81
Выводимость логическая      19 25
Вызов процедуры      84
Выражение арифметическое      101 102 303—304
Выражение множественное      211—221
Выражение символьное      57
Вычисление арифметического выражения      101 102
Вычисление детерминированное      68 77
Вычисление избыточное      92 93
Вычисление логической программы      21 25 65
Вычисление недетерминированное      77
Вычисление незавершающееся      65 77 88—90 103 252
Вычисление параллельное      70
Вычисление программы на Прологе      81—84
Вычисление частичное      260
Вычислительная модель Пролога      80—84
Генератор кода      305—309
Глубина вложений рекурсии      155
Голова списка      43
Головоломка логическая      170—173
Головоломка «зебра»      188
Гомогенизация      283 294 295
Грамматика, задаваемая определительными предложениями      203 210
Граф      33 34 175—177 215
Граф бесконечный      177 216
Граф ориентированный      33 34 175—177
Граф ориентированный ациклический      175—177 215
Граф циклический      215
Данные структурированные      30—32
Декартово произведение      35
Декларативное понимание      19 50 51 193 239
Деление      101
Дерево бинарное      54—57 199
Дерево вывода (доказательства)      22 48 49 75 241 243 248 253 255—257
Дерево игры      233—238
Дерево конечно-безуспешное      78
Дерево поиска      68 75—78 87 88
Дерево поиска бесконечное      68 77 81 214
Дерево разбора      206
Детализация метаинтерпретатора      240—242
Дизъюнкция в булевой формуле      60 61
Дизъюнкция логическая      126 127
Дифференцирование      58—60 117
Дифференцирование сложной функции      59
Заголовок правила      18
Задана об N ферзях      167—169
Запись терма      142
Значение декларативное      72
Значение логической программы      23—25
Игра Ним      264—268
Игра с нулевой суммой      235
Игра «выдающийся ум»      261—264 274
Игра «калах»      268—274
Идентификатор в PL      302
Идентификатор стандартный      302
Идентичность      123
Изоморфизм бинарных деревьев      55 56 174
Индексирование      132 133 155 156
Интерпретатор абстрактный      21—23 65—70 80
Интерпретация логической программы      72
Итерация      104—109
Квантор общности      16 17 19
Квантор существования      19
Компилятор      296—311
Компиляция арифметического выражения      302 303 306—307
Компиляция оператора ввода/вывода      304 308
Компиляция оператора присваивания      305 306

Компиляция оператора цикла      304 307—308
Компиляция условного оператора      309 307
Константа      24 74 110
Контекст      219—221
Контекстно-зависимая информация      84 90
Контекстно-свободная грамматика      203—206
Конфликт имен      66
Концептуальная зависимость      185 190
Копирование терма      126 145
Корректность программы      24 25 37—39 103
Коэффициент определенности      250 251
Лисп      43 44 80
Логика второго порядка      221 222
Логика первого порядка      221
Ложное решение      252 256 257
Лямбда-выражение      223—224
Лямбда-исчисление      80
Машина Тьюринга      79 182
Метазнание      250
Метаинтерпретатор      238—260
Метаинтерпретатор для экспертных систем      245—251
Метаинтерпретатор усовершенствованный      242 245—260
Метапеременная      126 172 241
Метапрограммирование      126 238 252
Метка      309 310
Метод изоляции      284 290 291
Метод расписаний      66 70 81
Метод «подъем на холм»      229 230
Метод «разделяй и властвуй»      52
Метод «разделяй и спрашивай»      256
Множество представителей      283 294
Модель вычислений      179—182
Модель вычислений недетерминированная      179—181
Модель минимальная      72
Наибольший общий делитель      42 43 102
Наибольший общий унификатор (н.о.у.)      63 67
Накопитель      99 104—106 112 176 193—195 212 218
Недетерминизм      23 68 77 164—189 203 217
Недетерминизм с неизвестным выбором      174
Недетерминизм с произвольным выбором      174
Неопределенность переменной      101
Неподвижная точка      73
Область вычислений логической программы      73 74
Область заданная      252
Область остановки      73
Оболочка      149—152 245—247 259
Оболочка интерактивная      247—248
Обработка данных      85
Обработка символьных выражений      57—62 281 282 295
Обработка строк      142
Обход графа в глубину      175
Обход дерева      56 57 255
Обход сверху вниз      56 57 256
Обход снизу вверх      56 57
Объединение      35
Объяснение «как»      249
Оператор бинарный      100—102
Оператор постфиксный      101
Оператор префиксный      101
Оператор пустой      302
Оператор составной      302
Оператор сравнения      102
Операция коммутативная      307
Операция кредитная      274 275
Операция сравнения      102
Оптимизация остатка рекурсии      130 132 133 141 153 156 274
Остаток рекурсии      132 133 156
Отладка программы      252—259
Отношение      14 26 39
Отношение дизъюнктивное      35
Отношение коммутативное      89
Отображение монотонное      72
Отображение списка      96 222
Отождествление термов      15
Отрицание в логической программе      78 133—136
Отрицание как безуспешное выполнение      78 133—136 213
Отсечение      127—141 212 242 284
Отсечение зеленое      127—132 140 284
Отсечение красное      136—140
Отсечение с учетом предыстории      242
Отсечение слабое      140
Оценочная функция      229 230 235—237
Очередь      200—202
Очередь пустая      200
Ошибка вычислений      101—103
Ошибочная ситуация      85 86 101
Палиндром      181 182
Пара «ключ — значение»      198
Параллельный Пролог      70 81 121 127
Переключатель      158
Переменная      15 63—65 122 124—126
Переменная анонимная      160
Переменная глобальная      158
Переменная логическая      63—65 85 105 193 309
Переменная общая      17 18 35 85 170
Пересечение      35
Подстановка      15 24 56 63 114—116 124
Поиск в глубину      77 81 87 88 176 224 229
Поиск в ширину      176 215 216 229
Поиск конечно-безуспешный      78
Поиск последовательный      164 239 240
Поиск пути между вершинами      175 216
Поиск «сначала — лучший»      229—232
Полнота программы      24 25 36—38
Полнота рекурсивной структуры данных      73 74
Порог определенности      251
Порождение и проверка      52 165 166
Порождение и проверка в игре      263
Порочный круг в определении      89 90
Порядок обхода двоичного дерева      57
Порядок правил      86 87
Порядок целей      68 90—92 120 156 239 244
Построение структуры нисходящим методом      97 98 162 193 197 207
Построение структуры снизу вверх      98 99 162 193 198
Правила по умолчанию      139 140
Правило      18—21
Правило modus ponens обобщенное      19 71
Правило грамматики      203 206
Правило конкретизации      17
Правило левое рекурсивное      89
Правило обобщения      16
Правило рекурсивное      32—34 88—90
Предикат      112—118
Предикат второго порядка      221—223
Предикат металогический      119—122 136
Предикат множественный      211—214 223—224
Предикат множественный примитивный      212
Предикат системный      100—102
Предикат типовый      100—112
Предикат типовый металогический      119—122
Предложение      18 25 81 144
Предложение единичное      18 25
Предложение итерационное      18 25 104
Предложение хорново      18
Преобразование рекурсии в итерацию      104—109
Пример общий      17 63
Пример основной      20 23
Присваивание в языке PL      302 305
Присваивание деструктивное      85 115
Проблема голландского флага      195 196
Проверка на вхождение      63 64 70 75 121
Программа арифметическая логическая      36—43
Программа арифметическая на Прологе      100—103
Программа интерактивная      147—151
Программа итерационная      104
Программа логическая      20 25
Программа минимальная рекурсивная      37 89 94
Программа объектная      297 298
Программа перемещаемая      297
Программа рекурсивная      50—54 104—109

1 2

О проекте