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

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

Авторизация

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

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

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

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

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

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

Аннотация:

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

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

Теорема о резолюции (Resolution Theorem)      41 286
Теорема Черна — Тьюринга (Church — Turing Theorem)      48
Терм (term)      22
Терм (term) как представление структуры данных (term-representation of data structures)      132 135—143
Терм (term) как простой тип данных (as simple data type)      135—137
Точка возврата (backtrack point)      233
Траектория управления (locus of control)      72 228
Указатель среды (environment pointer)      249
Универсальная машина Тьюринга (universal Turing machine)      279
Универсальность логики хорновских дизъюнктов (universality of Horn clause logic)      278—281
Унификатор (unifier)      36
Унификатор (unifier) наиболее общий (most general unifier)      38
Упорядочение (sequencing)      77—80
Управление исполнением (control of execution)      227—239
Управление на метауровне (metalevel control)      298
Факт (assertion)      32
Фактический параметр (actual parameter)      57
Формальный параметр (formal parameter)      58
Формула (formula)      19—20 22
Фрейм (frame)      230—233 235 237 253—256
Фрейм глобальный (global frame)      255
Фрейм локальный (local frame)      255

Фрейм родительский (parent frame)      231
Фрейм удаляемый (deletable frame)      260
Функтор (functor)      17
Функциональное программирование (functional programming)      298—326
Функциональный символ (functional symbol)      17
Функция непосредственного следования (immediate consequence function)      285
Хорновский дизъюнкт (Horn clause)      49
Хорновский дизъюнкт бинарный (binary Horn clause)      279
Целевая переменная (goal variable)      55
Целевое утверждение (goal)      53 57
Целевое утверждение наиболее общее (most general goal)      167
Частичная правильность (partial correctness)      169—173
Частично рекурсивная функция (partial recursive function)      279
Человеко-машинный интерфейс (man-machine interface)      304 312
Чистота интерпретатора (purity of interpreter)      92
Шаг вывода (inference step)      32
Эвристика (heuristic)      305 310
Экспертная система (expert system)      309—312
Экстенсиональное представление (ex-tensional representation)      144
Эрбрановская интерпретация (Herbrand interpretation)      283
Эрбрановская модель (Herbrand model)      283—284
Эрбрановский базис (Herbrand base)      290
Эрбрановский универсум (Herbrand universe)      278 283

1 2

О проекте