Мир Лиспа. Т.2 методы и системы программирования - Хювёнен Э., Сеппянен И
..pdfMacintosh 252
Macsyma 9, 189
Magidin M. 269
MakilaK. 269
Malmi L. 271 MantylaA.-L. 204,216 Marti J. 289 MasinterL. 163,232,295
McCarthy J. 180, 188, 248-250 McCorduck P. 288, 295 McDermottD. 53,81,232 McDermott J. 81
McDonald D. 289
McIntoshH. 269
Meehan J. 289
Melcom Cosmo 700 256 MelenkH. 267 MellishC. 103
Michie D. 104
Mikko2 264
MikkoS 264 Mikko Lisp 264 Mini 6 252 MinskyM. 125,127
MIT 6, 9,137, 151, 164, 244, 245, 247, 248, 262, 272, 273, 279, 291, 292
MITI 294
Moon A. 125, 127
Moon D. 127, 171, 233, 240, 289, 295 Moore J.S. 289
Moses J. 202 Moto-OkaT. 295 MRS 17 MuMath/MuSimp 189 MuellerK. 267 Multics 273
Multiple Access Computer 272 MyhrhaugB. 126
Nakanishi M. 268 NasrR. 104
NEC 256 NEUCC 258
Neumann J. von 244
New Implementation of Lisp 280
Newell A. 244, 249
Nguyen H.D. 265
NIL 278, 280
Nilsson N. 24, 74, 81
NITEC 6
NK3 257
Nokia 6, 13, 263, 264
Nokia Informaatiojarjesteimat 264
NokoT. 271
Nordstrom M. 269
Norman A. 265
Norman E. 289
Norsk Data 252
NS16000 252
Nygaard K. 126
O'SheaT. 104,232
Odral304 255
Odral204 254,255
Ojansuu H. 204, 215
Olisp 256
OPS 80
OPS5 17
OWL 18
PARRY 66
Pasero R. 103
PDP-1 247
PDP-10 152, 262, 273-275, 278
PDP-10/20 275, 291
PDP-6 273
Pearl J. 24,74,81
Pereira F. 104
Pereira L. 104
Pietikainen P. 271
PILS 259
Pirinen P. 270
Pitman K.M. 289
PLANNER 17, 80
PlaugerP.J. 38
PLisp 263
PoeM. 104
POP-2 251
POPLOG 251
Portable Lisp 263
Portable Standard Lisp (PSL) 263, 278
Potari F. 267
Potter J. 104
PRIME 252
Prosessori 6
PSL 278
PULCE 257
Q-32 258
QA2/3 17
Quam L. 289
Queinnec С 266
Rand Corporation 244
Rank Xerox 13
Raphael B. 66, 67
Raulefs P. 67
Reduce 189, 278
ReesJ. 289
Ribbens D. 266
RichieG. 232
RiesbeckC 53,232
Robinson J. 94,104
Robson D. 124, 126, 288
RodetX. 265
RohlJ.S. 38
Roitzsch R. 267
ROSIE 17,80
Roussel P. 102-104
RoyJ.-P. 266
Royal Radar Establishment 250
Rozsa P. 267
Ruohola T. 271
Russel S. 174
S:1 17
SAC 189
Sakurai T. 104
SammetJ. 249
Sandewall E. 163, 269
SatoM. 104
SchatzW. 267
Scheme 281, 282
Scientific Data Systems 275
Scratchpad 189
SDC 274
SDS-930 275
Segovia R. 269
Set 32 252
Seppanen J. 163, 171, 188, 190, 202, 205, 216, 241, 270, 271
Shannon С 244
ShapiroS. 232 ShawJ. 244 ShieberS. 104 Shortliffe E.H. 81 ShrobeH. 232 SibertE. 104 Siemens 253 Siemens 305 259
Siemens 4004 259,277 Siilasmaa R. 271 Simon G. 244
Simons G. 295
Simula 123,294 SIR 66
SlinnJ. 104
Smalltalk 19, 23,124, 276, 294 Smp 189
Sotirescu D. 268 Sperry 137 Spice Lisp 284 SRI 274
StallmanR.M. 171 Standard Lisp 254, 278
Stanford Research Institute 275 Stanford Lisp 1.6 255 Stanford Lisp/360 277
Star 276
SteeleG. 126,289,290,295 StefanG. 268
Stefanescu M. 268 StefikM. 125,126,288 SteigerR. 127 STeP-84 262
Stoyan H. 53, 68,174,188, 249, 250, 267, 268, 289
STUDENT 66
SussmanG. 81,288,290,295 Sussman J. 289
Symbolics 137,163,165,233, 263, 282, 292
SyrjanenM. 171,241,270 SYSLisp 278
System Development Corporation 274 SZAMKI 256
SZTAKI 256
T-Lisp 278 Т 281
Takeuchi I. 268 Tamminen M. 270 TapolaP. 241,271
Teitelman W. 125,127,161,163, 290 Telemechanique 1600 251
TENEX 275
Tenex 152
Tesla 255
Texas Instruments 13, 263, 293 Thompson H. 232
TI 137,163,165 TKI 256
TKK 261 TLC-Lisp 253 TOPS 152 TOPS-10 275 TOPS-10/20 273 TOPS-20 275 Tosbac-3400 256 Towers of Hanoi 31 TR4 253
True Lisp 281
UCI Lisp 277
Unisys 137
UNITS 18
Univac 1108 261, 262 University of California 277 UNIX 263, 279
UrmiJ. 270
Ustav technickej kybernetiky 255 UT-Lisp 254
VAX 263,277,279 VAX Lisp 286 VAX/UNIX 278 VAX/VMS 279 VAX-11 252 VAX 780/11 279 Videoton RIO 256
Virtanen L. 204, 216 VLisp 252 Wagreich B. 163 WaiteW.M. 39 Waligorski S. 268 Warren D. 102, 104 Waterman D. 24, 81
Weinreb D. 125, 127, 171, 233, 240 Weinreb P. 295
WeissS. 81 Weizenbaum J. 66, 68 Wertz H. 266
White J. 290
Wicat 278
Winston P. 202, 218, 232 WISP 257
Woods
W.A. 53
Woodward P. 250, 265
Xerox 137, 163, 259, 262, 274, 275, 287, 292
Xerox PARC 151, 292 Xerox Learning Group 276 XinsongJ. 269
XLG 276
XLisp 251 Zelman H. 268
Zetalisp 9, 106, 125, 165, 282 ZKI-Lisp 255
Zmacs 168
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
Указатель составлен из встречающихся в тексте понятий и терминов, а также из специальных терминов языка Лисп. Имена и. сокращения собраны в свой указатель (приложение 2) также, как символы Ком мои Лиспа и имена, определяемые в примерах программирования (приложение 1).
Адаптируемость (adaptability) 131 |
- программ (Masterscope) 158 |
Анализатор (parser) 70 |
Аромат (flavor) 111 |
-ванилиновый (vanilla flavor) 117
Аргумент отношения 84
Ассистент (programmer's assistant) 141, 154
База данных (database) 70
-знаний (knowledge base) 218 Башни Ханойские (Towers of Hanoi)
31
Вывод логический (inference) 20 Выдача информации об ошибочных
ситуациях (error signaling) 146 Грамматика (grammar) 67
Данные из предметной области
(domain knowledge) 218 Действие (performance, function,
process, action) 16, 70
-универсальное (generic) 41
Демон (daemon) 53
Дерево разбора (parse tree) 67 Дисплей с битовой картой (bitmap)
166
Доказательство корректности
(proving) 129 Дуга (arc, edge) 71
Запись инфиксная (infix) 196
-обратная польская (reverse Polish) 193
-польская (Polish form) 196
-постфиксная (postfix, suffix) 196
-префиксная (prefix) 196
Знания (knowledge) 14 Идентификация (identification,
recognition) 20
Иерархия понятий (conceptual hierarchy) 17
Инженер знаний (knowledge engineer) 218
Инспектор (inspector) 141
Интерпретатор продукций (rule interpreter) 70
Интерфейс (interface) 133
Исполнение пошаговое (stepping) 140
История (history list) 141, 154
Исчисление предикатов первого
порядка (first order predicate calculus) 89
Класс (class) 18,106,107
-базовый (base class, base flavor) 112, 117
-естественный 112
-классов (class class) 117
-объектов (object class) 107, 117
-свойств 112
-характеристический (mixing flavor) 112
Комментарий (comment) 150
Контекст сопоставления (context) 63
Корректность (correctness) 129
Корректор ошибок 141 Лингвистика компьютерная
(computational linguistics) 203 Лисп чистый (pure Lisp) 27 Логика (logic) I
- хорновских предложений (Horn clause logic) 89
Макропрограммирование (macro programming) 37
Машина вывода (inference engine) 70, 218
Метазнания (meta-knowledge) 16, 79 Метакласс (metaclass) 107,117
Метаобъект 107
Метафора (metaphora) 23 Метод (method) 108
-, комбинация (combination) 114
-операторного предшествования
(operator precedence) 192
-резолюций (resolution) 94
Метод-демон (daemon method) 115
Механизм возвратов по зависимостям (dependency directed/relevant backtracking) 72
-- хронологический (chronological backtracking) 72
-наследования (inheritance
mechanism) 112
Модель абстрактная (abstract model) 37
- объектная (object model) 125 |
- в глубину (depth-first) 73, 77, 114 |
|||||
- программирования (model) 22 |
- - ширину (breadth-first) 73, 77 |
|||||
- с акторами (actors) 125 |
|
- двунаправленный (bi-directional |
||||
Модуль (module) 35 |
|
search) 73 |
|
|
||
Мышь (mouse) 166 |
|
- обратный (backward chaining, goal |
||||
-, выбор (click) 166 |
|
driven search) 73, 226 |
||||
-, кнопка (button) 166 |
|
- по наилучшему варианту (best-first) |
||||
Надежность (reliability) 129 |
|
74, 77 |
|
|
|
|
Надкласс (superclass) 111 |
|
- - уровням (level first) 114 |
||||
Обмен сообщениями (message |
- прямой (forward chaining, data driven |
|||||
passing) 108 |
|
|
search) 73 |
|
|
|
Обработка естественного языка |
Полезность (validity) 130 |
|||||
(natural language processing) 203 |
Порядок выполнения (precedence) |
|||||
- символьная |
и алгебраическая |
191 |
|
|
|
|
(symbolic |
and |
algebraic |
- обхода дерева (walk order) 196 |
|||
computing, SAQ 189 |
|
- - - обратный (postorder) 114, 196 |
||||
Образ (pattern) 54 |
|
|
- - - промежуточный (inorder) 196 |
|||
Образец (pattern, template) 54 |
|
- - - прямой (preorder) 114,196 |
||||
- предикатный 62 |
|
|
Постдемон (after-daemon) 116 |
|||
Объект (object) 16, 17 |
|
Пояснения (documentation) 147 |
||||
-, вызов (object call) 107 |
|
Правила порождающие (production |
||||
-, определение (object definition) 107 |
rule) 70 |
|
|
|||
-, свойства (attribute) 108 |
|
- трансформации (transformation) 70 |
||||
-, состояние (state) 108 |
|
- резолюции (resolution rule) 95 |
||||
-, экземпляр (instance) 107, 118 |
Преддемон (before-daemon) 116 |
|||||
Оператор (operator) 20 |
|
Предложение хорновское (Horn |
||||
Отлаживаемость (debuggability) 131 |
clause) 90 |
|
|
|||
Отношение (relation) 84 |
|
- -, заключение (head, consequence) 90 |
||||
Отправитель (sender) 125 |
|
- -, предикат 90 |
|
|
||
Ошибка серьезная (fatal error) 146 |
- -, тело или предусловие (body, |
|||||
Парадигма |
программирования |
precondition) 90 |
|
|
||
(paradigm) 22 |
|
Представление знаний |
(knowledge |
|||
Перебор полный (exhaustive/blind |
representation) 16, 245 |
|||||
search) 71 |
|
|
Прерывание (break) 140,156 |
|||
Переменная образца 58 |
|
Принцип |
пошагового |
уточнения |
||
- общая (shared instance variable) 115 |
(stepwise refinement) 35 |
|||||
- экземпляра (instance variables) 108 |
Программирование |
императивное |
||||
Переносимость (portability) 37, 131 |
или |
операторное |
(imperative |
|||
Печать структурная (pretty-print) |
programming) 28 |
|
|
|||
155,183 |
|
|
- логическое (logic programming) 55, |
|||
Подкласс (subclass) 111 |
|
84,101 |
|
|
|
|
Подмастерье (apprentice) 141 |
|
- модульное (modular |
|
programming) |
||
Подстановка (substitution) 86 |
|
35 |
|
|
|
|
Поиск (search) 20 |
|
|
- объектно-ориентированное или |
|||
объектное (object oriented programming, object programming) 19,106
-продукционное (rule based programming) 55
-процедурное (procedural programming) 28
-.структурное (structured programming) 35
-управляемое данными (data driven programming) 40
-- событиями (event/action driven) 52
Продукция (rule) 69
-, применение (apply) 70
Проектирование сверху вниз (top down) 35
-снизу вверх (bottom up) 35 Прозрачность (transparent) 133
Пространство поиска (search space) 20
Протокол (protocol) 133 Процессор (processor) 37 Раскрутка (bootstrapping) 37
Распознавание образов (pattern recognition) 54
-- структурное (structural pattern
recognition) 67
Распознаватель (recognizer) 70
Редактор (editor) 139,142, 154
-структурный (structure editor) 143 Резольвента (resolvent) 95
Рекурсия концевая (tail recursion) 140 Решение (solution) 20, 71
Роль (role) 124
Свойство (property, attribute) 16
Семантика процедурная 83 Сеть классификационная
(discrimination net) 52
-локальная (local area network) 170
-перехода состояний (transition network) 52
-семантическая (semantic net) 18
Символ-заменитель 55
Система DWIM (Do What I Mean
(not what I type)) 159
-загружаемая (loadable) 139
-продукционная (production system, rule based system) 17
-разделения времени (time sharing) 273
-резидентная (resident) 139, 157
-с рабочим состоянием (workspace) 157
-справочная (on-line documentation) 141
-экспертная (expert system, knowledge based system) 217
-- консультирующая (consulting) 231 Следствие (consequent, conclusion) 69 Событие (event) 16
Сообщение (message) 109
Сопоставление с образцом (pattern matching) 54
Сопровождаемость (maintainability) 131
Состояние (state) 20
-базы данных (situation, state) 70
-заключительное или целевое (goal) 20
-начальное (initial state) 20 Сравнение (comparison) 20
Средства разработки (development tools) 167
Текст поясняющий (documentation string) 147
Теория представления (representation theory) 245
Терм 87
Тестируемость (testability) 130
Точка зрения (view) 124
Транслятор (compiler) 140,147, 158 Трассировщик (trace) 140, 157 Удобочитаемость (readability) 130 Узел (node) 71
Унификатор наиболее общий (most general unifier) 86
Унификация (unification) 84, 85
Упрятывание информации
(information hiding) 35 |
Язык ATN (augmented transition |
Уровни логические (levels of abstract |
network grammar) 52 |
machine) 35 |
- встроенный (embedded) 47 |
Условие (antecedent, condition) 69 |
- декларативный (declarative |
Факт (fact) 91 |
language) 83 |
Форточка (pane) 167 |
- древовидный (tree language) 67 |
Фрейм (frame) 17 |
- контекстно-независимый (context |
Цель (goal) 97 |
free) 192 |
Шлюз (gateway) 170 |
- процедурный (procedural language) |
Эвристика сокращающая (pruning) 79 |
83 |
Элемент растра (pixel) 169 |
- сетевой (graph language) 67 |
Эффективность (efficiency) 130 |
|
