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

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

Авторизация

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

Клоксин У., Меллиш К. — Программирование на языке пролог

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

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

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

Авторы: Клоксин У., Меллиш К.

Аннотация:

Книга английских специалистов, содержащая описание основ логического программирования и особенностей языка Пролог — базового языка ЭВМ пятого поколения. Области применения этого языка связаны с разработкой экспертных систем, интеллектуальных баз данных, обработкой естественного языка, разработкой компиляторов ЭВМ. Книга полезна для первого ознакомления с языком Пролог.
Для программистов и пользователей ЭВМ.

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

+, -, *      48 55 156
,      148
;      148
<, >, >=, =<      52 157
=      49 52 151 157
=..      143
==      152
abort      229
arg      142
ASCII      47
asserta, assertz      139
atom      135
atomic      136
break      229
CALL      149
clause A      138
consult      126 131
creep      226
Debugging      159
Display      117 154
fail      133 228
functor      141
get      120 153
gete      120 153
halt      229
INTEGER      136
IS      55 156
leap      226
listing      137
MOD      48 55 156
NAME      144
nl      114 153
nodebug      152 159
nonvar      135
nospy      159
NOT      150
notrace      158
op      154
OR      228
phrase      246
put      119 153
READ      118 153
reconsult      132
REPEAT      145
retract      139
retry      227
see      126 154
seeing      126 155
seen      126 155
skip      153 226
spy      158
tab      114 154
tell      125 155
telling      125 155
told      125 155
Trace      158
TRUE      133
var      134
WRITE      114 154
Аксиомы      273
Алгоритм Евклида (Euclid's algorithm)      194
Альфа-бета алгоритм (alpha-beta algorithm)      288
Анонимная переменная (anonimous variable)      44
Аргумент (argument)      19 261
Атом (atom)      42
Атомарное высказывание (формула) (atomic proposition)      262
База данных (data base)      20
Ввод программ (consulting)      126 131
Ввод/вывод (input/output)      112
Возврат (backtracking)      27 56
Возврата механизм (процесс) (backtracking)      56 59
Возвратный ход (backtracking)      176
Вопрос (question)      17 20 279
Высказывание (proposition)      260
Гипотезы (hypothese)      273
Глагол (verb)      235
Глагола группа (verb group)      234
Грамматика контекстно-свободная (context free grammar)      234 249
Грамматические правила (grammar rules)      234 244
Граничные условия (boundary conditions)      71
Дерево (tree)      63
Дерево разбора (parse tree)      237
Дерево синтаксическое (syntax tree)      290
Дерево упорядоченное (sorted tree)      162
Деревьев преобразование (transforming)      196
Дизъюнкт (clause)      269
Дизъюнкция (целевых утверждений) (disjunction)      148 202
Дисплей (display)      17
Доказательство теорем (proving theorems)      273
Доказать целевое утверждение (prove goal)      22 56
Импликация (implication)      262
Интерпретатор (interpretator)      201 307
Интерпретация (имен, предикатов, программ) interpretation      19 32 201 275 307
Квантор общности (universal quantifier)      263
Квантор существования (existential quantifier)      263
Клавиатура (keyboard)      17
Ковальский      282
Колмерауэр, А.      261
Комментарий (comment)      36
Компилятор (compiler)      307 314
Конкретизировать переменную (instantiate)      23
Константа (constant)      41
Контрольные точки (spy points)      158 219
Конъюнктивная нормальная форма (conjunctive normal form)      267
Конъюнкция (conjunction)      25 262
Линеаризация списка (flattening a list)      286
Литерал (literal)      265
Литеры (characters)      41 46
Литеры непечатаемые (non-printing)      46

Литеры печатаемые (printing)      46
Логика более высокого порядка (higher order logic)      284
Логика математическая (logic)      260
Логические связки (logical connectives)      262
Логическое программирование logic programming      12 260 282
Маркер (place marker)      24
Микро-Пролог      319
Множество (set)      174
МПролог      324
Несовместность (множества дизъюнктов) (irconsistence)      275
Нетерминальный символ (nonterminal symbol)      255
Объект (object)      16
Оператор (operator)      47
Оператор инфиксный (infix)      48
Оператор левоассоциативный (left associative)      49
Оператор постфиксный (postfix)      48
Оператор правоассоциативный (rightassocia-tive)      49
Оператор префиксный (prefix)      48
Оператора ассоциативность (associability)      48 127
Оператора позиция (position)      48 127
Оператора приоритет (precedence class)      48 127
Операторов объявление (declaring operators)      127
Определитель (determiner)      234
Отладка программ (program debugging)      158 205
Отношение (relationship)      16
Отображение структур (mapping structures)      196
Отрицание (negation)      262
Отсечение (cut)      91
Передоказать (вновь согласовать целевое утверждение) (re-satisfy goal)      59
Переменная (variable)      22 43
Переменной область действия (scope variable)      33
Побочные эффекты (side effects)      119 130
Поиск вглубь (depth first search)      188 190
Поиск вширь (breadth first search)      190
Поиск по графу (searching graphs)      187
Поиск по критерию первый — лучший (best — first search)      191
Правила вывода (inference rules)      260 273
Правила продукций (production rules)      291
Правило (rule)      17 31
Правило ловушка (catch-hall rule)      76
Предикат (predicate)      20 262
Предикатов исчисление (predicat calculus)      260
Предикаты встроенные (built-in predicat)      51 130
Предложение (sentence)      234 238
Программирование логическое (logic programming)      12 260 282
Программирование недетерминированное (relational programming)      172 179
Процедура (procedure)      76 206
Равенство (equality)      49
Резолюций принцип (resolution princple)      273
Резолюция входная линейная (linear input resolution)      279
Рекурсия (recursion)      63
Рекурсия левосторонняя (left recursion)      72
Решето Эратосфена (sieve of Eratosphenes)      193
Робинсон, Дж.А.      273
Семантика декларативная (declarative semantic)      282
Семантика процедурная (procedural semantic)      22
Семантические характеристики (semantic)      249
Символьное дифференцирование (symbolic differentiation)      194
Синтаксис (syntax)      306
Синтаксический анализатор (parser)      237
Синтаксического разбора задача (parsing problem)      237
Сколемнзация (skolemising)      265
Сколемовские константы (skolem constants)      265
Следствие (consequence)      273
Совокупность (collection)      269
Согласовать (с базой данных) целевое утверждение (satisfy goal)      24 25 56
Согласовать вновь (re-satisfy goal)      59
Соответствия установление (matching)      21 49
Сопоставление (цели с утверждением) (matching)      21 49
Списка голова (head of list)      67
Списка хвост (tail of list)      67
СПИСОК (LIST)      65
Стандартная форма (clausal form)      264 269
Структур отображение (mapping structures)      196
Структура (structure)      41 44
Структуры компоненты (componentsof structure)      45
Структуры функтор (functor of structure)      45
Существительное (noun)      235
Сцепленные переменные (shared variables)      35 51
Текущий входной/выходной поток (current input/output stream)      124
Терм (term)      12 41 261
Терм составной (compound term)      261
Терминальный символ (terminal symbol)      255
Трассировка программ (program tracing)      158
Трассировка управляемая (leashed tracing)      220
Трассировки модель (tracing model)      212
Унификация (unification)      275
Управляемое событие (leashed event)      223
Утверждение (clause)      36 279
Файл (file)      124
Факт (fact)      17 18
Факт ловушка (catch hall fact)      76
Формула (formulae proposition)      262
Функтор (functor)      45
Функциональный символ (function symbol)      261
Хорновский дизъюнкт (Horn clause)      277
Целевое утверждение (goal)      25 279
Целевое утверждение выполняется (goal sucseeds)      29 30
Целевое утверждение не выполняется (goal fails)      29 30
Целевое утверждение не согласуется (с базой данных) (goal fails)      26
Целевое утверждение согласуется с базой данных (goal is satisfied)      26
Целевой дизъюнкт (goal statement)      276
Цели предшественники (ansestors)      224
Цель (goal)      25 279
Цепочка доказательств (flow of satisfaction)      57 59
Частотный словарь (concordance)      287
Эквивалентность (equivalence)      262
\=      52 151 157
\==      152
]      92

О проекте