Мир Лиспа. Т.1 введение в язык Лисп и функциональное программирование - Хювёнен Э., Сеппянен И

Абстракция вычислений 270

-данных (data abstraction) 310

-отображения 270

Автофункция (auto-function) 243

Аксиомы типа 310

Анализ дискурса (discourse) 32

-синтаксический 72

Анализатор (parser) 177

Аргумент 69,106

-функциональный (functional argument) 239

Атом (atom) 64

Барьер сложности (complexity barrier) 286

Блокировка вычислений (quote) 75

-обратная (back quote) 233

-функциональная (function quote) 259 Вектор (vector) 350

Верификация программ (program proving verification) 37

Включение или интернирование

(intern) 180, 329 Выборка (selection) 312

Вызов макроса (macro call) 128, 290

-функции (call) 71, 240

Выражение по умолчанию (init-form) 113

- символьное (s-expression) 66 Вычисление (evaluation) 73

-отложенное (lazy/suspended evaluation) 244, 265

-параллельное 265

-символьное и алгебраическое

(symbolic and algebraic corn-put ing SAQ 35

-частичное (partial evaluation) 244, 263

-численное (numeric computing) 24 Вычислимость (computabitity) 201

-алгоритмическая (effective

computability) 202 Генератор (generator) 264

- случайных чисел (random number generator) 322

Голова списка (head) 80

Гражданин полноправный (first class citizen) 111

Графика компьютерная (computer graphics) 39

Действия универсальные (generic) 311

Дерево бинарное (binary tree) 225

Доказательство теорем (theorem proving) 36

Замыкание (lexical closure) 261, 315 Запись (structure/record) 311, 353

- (нотация) префиксная 71

Знак (character) 337

Знания (knowledge) 33 - активные 28

Значение (value) 69,312,326

-глобальное (global) 122

-логическое (boolean) 309

Зрение машинное (machine vision) 39 Игра, ведение (game playing) 37

-программирование 37 Иерархия понятий (conceptual

hierarchy) 316

Имя печатное (print name pna-me) 150, 326, 327

Индекс (index) 350

Интеллект искусственный (artificial intelligence machine intelligence) 23,27

Интерпретатор 100, 127,174, 245, 289 Интерпретация (interpretation) 34

-изображений (scene analysis) 39

-режим (interpretation) 73

Интерфейс пользователя (human interface) 32

Источник (source) ввода 189 Код управляющий (directive) 185 Компилятор кремниевый (silicon

compiler) 40 Константа (constant) 64, 95

Конструктор (constructor) 312

Контекст вычислительный (evaluation environment) 121, 291

Лингвистика (linguistics) 32

-математическая (computational linguistics) 32

Лямбда-вызов 106 Лямбда-выражение 105, 270

Лямбда-исчисление (lambda calculus) 104

Лямбда-преобразование (lambda conversion) 107

Лямбда-список (lambda list) 105 Макрознак (macro character) 177 Макрос (macro) 289

-вызов 128, 290

-расширение (expansion) или

раскрытие 290

-структуроразрушающий

(destructive) 301

-трансляция (translation) 290

-чтения (read macro) 177 Массив (array) 86, 349

-объектов (obarray) 179

-специализированный (specialized array) 350

-универсальный (general arrays) 350 Машина вывода (inference engine) 33

Метка перехода (tag) 140 Механизм возвратов (backtracking)

201

Множество всех подмножеств множества (power set) 274

-значений (range codomain) 69

-определения (domain) 69 Моделирование (modelling) 37

-когнитивное (cognitive modelling) 38

-работы (simulation) 37

Морфология (morphology) 32 Мусор (garbage) 159

Мусорщик (garbage collector) 51,160 Мутатор (mutator) 312

Наблюдение (monitoring) 34

Наука когнитивная (cognitive science) 38

Нотация списочная (list notation) 157

-точечная (dot notation) 156, 157

Область действия (scope) 121

Обновление (update mutation) 312

Обработка естественного языка

(natural language processing) 31

-знаний (knowledge processing) 22

-изображений (image processing) 39

-рисунков (picture processing) 39

-сигналов (signal processing) 38

-символьная (symbol manipulation) 24

-символьной информации (symbolic processing/computing) 24

Образ графический (icon) 187

Образец (template skeleton) 300 Обучение (instruction tutoring) 35

-языку (language learning) 32 Объект (object) 311

-данных (data object) 309

-функциональный (functional object) 241

Окружение вычислительное

(evaluation environment) 121, 291

Определение неявное (implicit) 309

-функции (definition) 71

-явное (explicit) 309

Отмена блокировки замещающая 299

-- присоединяющая 299 Отображение (mapping) 69

Пакет(package) 180

Пара точечная (dotted pair) 84, 156

Параметр ключевой (key) 112

-необязательный (optional) 112

-передача по значению (call by value) 119

-- - ссылке (call by reference) 119

-фактический (actual parameter) 106

-формальный (formal parameter) 105

Перевод машинный (machine translation) 32

Переменная (variable) 64

-внешняя (external) 180

-внутренняя (internal) 180

-вспомогательная (auxiliary) 112

-глобальная специальная (global special/dynamic variable) 64

-динамическая или специальная

(dynamic/special variable) 121, 293

-лексическая или статическая

(lexical/static variable) 120

-программная (program variable) 141

-свободная (free variable) 121

Печать структурная (prettyprin-ter) 67

Планирование действий (planning) 34

По умолчанию (default) 112

Подсписок 65

Поиск (search) 201

- ошибки (diagnosis) 34

Поле 149, 354

Получатель (sink) вывода 189 Последовательность (sequence) 257,

337, 340, 341 Построение (construction) 312

-прототипов быстрое (rapid prototyping) 53

Поток (stream) 176, 187, 265 Прагматика (pragmatics) 32 Предикат (predicate) 79, 85

Предложение (clause) 128 Приглашение (prompt) 74 Применение функции (apply) 71 Присваивание (set) 96 Прогнозирование (prediction) 34 Программирование автоматическое

(automatic programming program synthesis) 41

-исследовательское (exploratory programming) 53

-логическое (logic programming) 36, 52

-объектно-ориентированное (object (oriented) programming) 38, 52, 244

-пошаговое (incremental programming) 52

-продукционное (rule-based programming) 52

-процедурное (procedural programming) 195

-ситуационное (event-based programming) 52

-управляемое данными (data driven programming) 50, 244

-функциональное (functional

programming) 51,196

Проектирование (design) 35

- машинное (computer aided design computer aided engineering) 39

Производство гибкое (flexible manufacturing) 40

Пространство имен (name space) 180 Процедура доступа (access operator

accessor) 312

-чтения (lisp reader) 176

Пустой список 65

Размер (size) 349

Размерность (dimensionality) 349

Распознавание образов (pattern recognition) 38

-речи (speech recognition) 32

Рассуждения на уровне здравого смысла (common sence reasoning) 37

Режим EVALQUOTE 102

Рекурсия более высокого порядка

225, 232

-взаимная (mutual) 224, 228

-параллельная 224, 225

-по аргументам 205

-- значению 205

-простая (simple) 205

Решение алгоритмическое

(algorithmic) 25

-эвристическое (heuristic) 25, 37

Робототехника (robotics) 39

Самоизменение (self-modification) 282

Самосознание (self-consciousness) 282 Свойство (property) 168

Связывание (bind) 96

-параметров (spreading) 107

-позднее (late binding) 54

Связь (binding) 96

-время действия (extent) 122

Селектор (selector) 312 Семантика (semantics) 32, 101

Символ 61, 326

Синтаксис (syntax) 32

Синтез программ (program synthesis) 37

-речи (speech synthesis) 32

Система поддержки принятия решений (decision support system) 33

- самообучающаяся (learning system) 41

-экспертная (expert system) 23, 33

Слова ключевые (lambda-list keyword) 111

Сопоставление с образцом (pattern matching) 39

Список (list) 65

-ассоциативный (association list a-list) 311, 331, 332

-объектов (object list oblist) 179

-nap 311,331,332

-свободной памяти (free list) 160

-свойств (property list p-list) 150,168, 311, 326

-- свободный (disembodied property list) 172

Строка (string) 309, 337

-управляющая (control string) 185 Структура (structure/record) 311, 353

-символьная 24, 61

Таблица чтения (read table) 177

Дело функции (body) 105 Теория рекурсивных функций 201

- функций более высокого порядка

283

Технология знаний (knowledge engineering) 23

Тип (type) 70, 312

-данных (data type) 309

-- абстрактный (abstract data type) 310

-составной (compound) 309, 312

Точка неподвижная (fixed point) 282 Транслирование по частям

(incremental compiling) 53

Трассировка (trace) 206

Указатель (pointer) 149

Управление производством (control) 35

Уровень командный (top level) 102 Ускоритель вычислений с

плавающей точкой (floating point accelerator) 319

Фонология (phonology) 31 Форма (form) 127