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

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

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



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



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


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

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

Аннотация:

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


Язык: ru

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Программирование второго порядка      210—224 242
Программирование интерактивное      147—152
Программирование «сверху вниз»      162
Проекция      35
Произведение скалярное      106 107
Пролог II      81
Пропуск решения      257 258
Протокол вычисления      21 66 68 81—83
Протокол вычисления на Прологе      81—83
Протокол сеанса      150—152
Прототип      162
Процедура      21
Процедура итерационная      105
Равенство      63
Размораживание терма      125 200
Разностная структура      196—198 295 309
Разностная сумма      196 197
Разностный список      190—196 202 204 206 216
Разность симметрическая      34
Разрез      140
Раскрашивание плоской карты      169—172
Раскрытие целей      181 189
Распознавание многочленов      57 58 130
Редактор      148 149
Редукция      21 22 65 66 68 69
Редукция основная      22
Резольвента      21 65—67
Рекурсия      104—109 132 133
Решатель задач      225—233
Решатель уравнений      281—295
Решение избыточное      92—94
Решения многочисленные      39
Сборка мусора      133 153 155 274
Связность графа      33 34 177
Семантика      71—73
Семантика декларативная      71
Семантика денотационная      72
Семантика операционная      70
Символ нетерминальный      203
Синтаксический анализатор языка PL      301
Следствие логическое      14—16 19
Слияние упорядоченных списков      93 127—130
Словарь      305 309
Сложение      38 39
Сложность      74 75
Сложность временная      75
Сложность глубины вывода      75
Сложность длины вывода      75
Сложность емкости памяти      75
Сложность размера цели      74 75
Совпадение      14
Сортировка быстрая      53 54 83 84 91 194
Сортировка вставкой      53 254
Сортировка перестановкой      52 131
Сортировка слиянием      53
Спецификация      161 162
Список      43—49 82 85 89 91 93—99 108
Список лексем      297—298
Список неполный      74 89 91 95 190
Список полный      74 89 91 95
Список пустой      43 95 191
Справочник      198—200 203
Стек      63—65 81 111 112 180 181 253 254
Строка литер      142
Структура данных      85 97 99 116 155 185
Структура данных на Прологе      97—99
Структура данных неполная      185 190—202
Структура неполная      99
Структура рекурсивная      97
Схема логическая      28—29
Схема реляционная      26
Сценарий      185—188
Текст программы      296 297
Тело правила      18
Терм      15 30 62 112 113 124 145
Терм замороженный      125
Терм неосновной      122
Терм общий      63
Терм основной      24
Терм приведенный      283 294
Терм составной      15 24 63 74 112—118
Тест металогический      120—124
Тип      36
Тип неполный      74
Тип полный      73 74
Тип рекурсивный      36
Традиционный язык программирования      84—86
Транзитивное замыкание      33—34
Трассировка метаинтерпретатора      243—245
Умножение      40 101
Универсум Эрбрана      71 72
Унификатор      63 67
Унификация      62 71 75 85 97 121 122 155 195
Унификация с проверкой на вхождение      121 122
Управление последовательностью действия      84 90
Уравнение экспоненциального типа      29
Условие типовое      40
Условия неопределенности      250 251
Факт      13 14 144
Факт универсальный      16
Факториал      40 41 103
Факторизация      284
Формула булева      60 61
Функтор      15 112 113 116
Функция Аккермана      42
Функция алгебраическая      282
Функция запоминающая      146 147
Функция следования      36
Ханойская башня      60 69 146 147
Хвост списка      43
Цель дизъюнктивная      126 127
Цель конъюнктивная      65 144
Цель основная      24 25 66
Цель порожденная      65
Цель предшественник      66
Цель родственная      65
Цель снятая      22
Цикл интерактивный      147
Цикл управляемый отказом      152 153 274
Число натуральное      36—43 72
Число натуральное полное      74
Чистый Пролог      80—100
Чтение терма      142
Шаблон      184 185 188
Экспертная система      245—251
Экспертная система для кредитных операций      274—281
Эффект побочный      145 153 191
Язык параллельного программирования      70 153 154
Язык реляционный      86
1 2
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте