Активизация актора (activation of actor) - перевод актора в активное состояние.
Активизация порта (activation of port) - операции, осуществляемые в начале обработки потокового сообщения, пришедшего в процесс через порт: 1) Установка локального значения актора-представителя порта равным значению порта на момент начала рассматриваемой фазы исполнения процесса. 2) Объявление актора-представителя порта активным (считается, что доказательство этого актора успешно завершено).
Активный актор (active actor) - одно из возможных состояний актора - актор, доказательство которого происходит (произошло) в ходе текущей фазы исполнения процесса. Актор считается активным с момента начала его доказательства до момента завершения фазы.
Активный процесс (active process) - процесс, находящийся на очередной фазе своего исполнения.
Актор (actor) - подцель доказательства, соответствующая некоторому акторному вызову предиката.
Акторный вызов предиката (actor call of predicate) - тип вызова предиката, используемый для определения акторов.
Акторный механизм (actor mechanism) - стратегия управления Акторного Пролога. Акторный механизм является расширением стандартной стратегии управления ("поиск слева направо в глубину с возвратом"). Акторный механизм допускает разрушающее присваивание значений переменным, обеспечивая корректность доказательства теоремы с помощью повторного доказательства отдельных акторов.
Актор-представитель (actor representative) - вспомогательный актор, поставленный в соответствие порту процесса. Акторы-представители портов процесса предназначены для хранения информации, приходящей в процесс через порты в виде потоковых сообщений.
Актуализация производных значений (actualization of derived values) - унификация локальных значений общих переменных (всех) активных акторов некоторого процесса с соответствующими им производными значениями этого процесса.
Актуальное значение переменной (actual value of variable) - значение общей переменной некоторого процесса, которое можно получить, унифицировав ее локальные значения, соответствующие (всем) активным акторам этого процесса. Считается, что общие переменные процесса, не соответствующие ни одному из его активных акторов, не имеют актуальных значений. В ходе исполнения программы локальные значения общих переменных каждого активного актора автоматически поддерживаются равными актуальным значениям.
Анонимная переменная (anonymous variable) - переменная "_". Считается, что все анонимные переменные являются некоторыми уникальными, однократно использованными именами.
Аргумент (argument) - 1. Терм или выражение, заключенные в скобки в составе предиката или составного терма. 2. В составе конструктора экземпляра класса: пара "атрибут= инициализатор", которой может предшествовать описатель порта.
Арность (arity) - количество аргументов.
Атомарная формула, атом (atomic formula, atom) - предикат или метапеременная, используемые в качестве элементарного объекта, обладающего значением истинности.
Атрибут (attribute) - имя слота; объявляется во всех классах, в которых используется соответствующий слот. Атрибут self - предопределенный, он обозначает непосредственно тот мир, в котором это имя используется.
ПРИЛОЖЕНИЕ 3. ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)