Связывание переменной (binding of variable) - замена всех вхождений переменной некоторой константой, составным термом или экземпляром класса. В Акторном Прологе область действия операции связывания переменной всегда ограничена множеством вхождений, принадлежащих некоторым конкретным акторам.
Сегмент строки (string segment) - лексема, обозначающая цепочку графических и управляющих символов.
Символ (symbol) - разновидность лексемы - имя, начинающееся с маленькой буквы или заключённое в апострофы.
Системный каталог (system directory) - каталог в файловой системе компьютера, в котором по умолчанию хранятся пакеты. Системный каталог определяется реализацией языка.
Слот (slot) - составная часть экземпляра класса, характеризуемая именем и значением. Именем слота является некоторый атрибут, значением слота - терм.
Согласование акторов (coordination of actors) - действия, осуществляемые для обеспечения согласованности акторов некоторого процесса - попытка согласовать локальные значения общих переменных акторов процесса. Согласование акторов включает сопоставление локальных значений общих переменных акторов, а также повторное доказательство акторов, нейтрализованных в ходе проведённого сопоставления локальных значений.
Согласование процессов (coordination of processes) - действия, осуществляемые для обеспечения согласованности процессов. Согласование процессов происходит посредством обмена асинхронными сообщениями.
Согласованность акторов (consistency of actors) - Акторы процесса считаются согласованными между собой, если: 1) Все акторы, принадлежащие процессу, хотя бы один раз были доказаны. 2) Существуют производные значения общих переменных этого процесса.
Согласованность процессов (consistency of processes) - Считается, что некоторые процессы "согласованы" между собой, если: 1) Все они находятся в состояниях "доказан" и "неиспользуемый". 2) Не требуется обработка потоковых и прямых сообщений процессами, находящимися в состоянии "доказан". 3) Не требуется обработка потоковых сообщений процессами, находящимися в состоянии "неиспользуемый". 4) Производные значения общих переменных всех процессов могут быть унифицированы.
Согласованный порт (consistent port) - одно из двух возможных состояний порта - порт может перейти в это состояние в ходе отправления или обработки потокового сообщения.
Создатель процесса (creator of process) - процесс, одному из слотов миров которого соответствовал инициализатор - конструктор рассматриваемого процесса.
Создатель резидента (creator of resident) - процесс, одному из слотов миров которого соответствовал инициализатор - конструктор резидента. Создатель резидента является его "владельцем".
Сообщение (message) - некоторое количество информации, передаваемое между процессами, представляющее для них единое целое. Различаются прямые и потоковые, а также переключающие и информационные сообщения. В языке используются потоковые переключающие, а также прямые информационные и прямые переключающие сообщения.
Соответствие переменной актору (correspondence between variable and some actor) - то же, что "использование переменной актором".
Сопоставление локальных значений (comparison of local values) - первый этап согласования акторов процесса. В общем случае, в ходе сопоставления локальных значений общих переменных осуществляется нейтрализация некоторых доказанных акторов, принадлежащих процессу.
Сорт глобального значения переменной (a sort of global value of variable) - вспомогательная характеристика, приписываемая текущим глобальным значениям общих переменных - "защищённое" или "незащищённое".
Сорт значения порта (a sort of value of port) - вспомогательная характеристика, приписываемая текущим значениям портов - "защищённое" или "незащищённое".
Сорт порта (a sort of port) - вспомогательная характеристика, приписываемая портам; процесс относит каждый из своих портов к одному из трёх сортов: "простой", "отключающий", "защищающий". Сорта портов задаются с помощью описателей портов или по умолчанию.
Сорт потокового сообщения (a sort of flow message) - вспомогательная характеристика, приписываемая потоковым сообщениям. Различаются два сорта потоковых сообщений - "защищённое" и "незащищённое". Потоковое сообщение является защищённым, если оно непустое и было отправлено (передано) через защищающий порт. В остальных случаях потоковое сообщение является незащищённым. В частности, сорт пустого сообщения всегда "незащищённое".
Составной терм (compound term) - структура, список или недоопределённое множество.
Состояние актора (state of actor) - Актор может находиться в одном из трёх состояний: доказанный, активный, нейтральный.
Состояние порта (state of port) - вспомогательное логическое значение, поставленное в соответствие каждому порту. Считается, что порт процесса всегда находится в одном из двух возможных состояний: согласованный или несогласованный.
Состояние процесса (state of process) - Процесс может находиться в одном из трёх состояний: 1) "объявленный; 2) "используемый"; 3) "неиспользуемый". "Используемый процесс" - это обобщающее название для следующих трёх состояний процесса: 1) "сформированный"; 2) "доказанный"; 3) "неудачный".
Спейсер (spacer) - константа #, обозначающая неизвестный элемент данных или мир.
Специальный символ (special symbol) - графический символ, используемый для построения ограничителей.
Список (list) - составной терм, построенный из последовательности (возможно, пустой) аргументов, заключённой в квадратные скобки. В случае если последовательность аргументов списка не является пустой, в его состав может быть включён дополнительный компонент, обозначающий остаток (хвост) списка.
Список задержанных подцелей (list of suspended subgoals) - вспомогательный список подцелей доказательства, исполнение которых было отложено механизмом задержки исполнения подцелей. Считается, что на каждой фазе исполнения процесса используется новый список задержанных подцелей. В начале фазы список задержанных подцелей является пустым.
Стратегия управления (control strategy) - алгоритм управления исполнением программы, определяющий порядок выбора предложений программы и порядок исполнения подцелей в предложениях. Стратегия управления Акторного Пролога ("акторный механизм") является расширением стандартной стратегии управления ("поиск слева направо в глубину с возвратом"), соответствующей текстуальному упорядочению процедур и вызовов предикатов. Отличиями акторного механизма от стандартной стратегии управления являются возможности повторного доказательства акторов, а также задержки исполнения подцелей.
Строковый литерал (string literal) - разновидность простого терма - последовательность сегментов строки, обозначающая цепочку графических и управляющих символов.
Структура (structure) - составной терм, построенный из функтора и последовательности одного или более аргументов, заключённой в круглые скобки.
Сформированный процесс (formed process) - одно из возможных состояний процесса - характеризуется тем, что пространство поиска и слоты процесса уже созданы, но при этом некоторые акторы процесса ещё ни разу не были доказаны и, следовательно, не согласованы.
Сцепление переменных (chaining of variables) - отождествление (несвязанных) переменных; любое связывание одной из сцеплённых переменных автоматически вызывает такое же связывание всех сцеплённых с ней переменных. В Акторном Прологе область действия операции сцепления переменной всегда ограничена множеством её вхождений, принадлежащих некоторым конкретным акторам.
ПРИЛОЖЕНИЕ 3. ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)