Владелец резидента (owner of resident) - то же что "создатель резидента". Резидент передаёт результаты своей работы владельцу с помощью потоковых сообщений.
Вложенные акторы (nested actors) - Актор Q называется "вложенным" по отношению к актору P, если эти акторы принадлежат одному процессу, и доказательство актора Q, результаты которого в данный момент не отменены, происходит (произошло) в ходе доказательства актора P.
Вложенные миры (nested worlds) - Мир B называется вложенным по отношению к миру A, если конструктор мира B является инициализатором слота мира A или какого-либо мира E, вложенного по отношению к A.
Встроенный предикат (built-in predicate) - предикат, являющийся составной частью определения языка. Встроенными предикатами называются (являются) предикаты goal(), alarm(E), ''(S), element(V,I1,...,Ik), а также все предопределённые предикаты.
Встроенный управляющий оператор (built-in control statement) - управляющий оператор, являющийся составной частью определения языка. Встроенными называются управляющие операторы copy(V1,...,Vk), '!', break[(E)], spypoint(...).
Вызов предиката (predicate call) - синтаксическая конструкция, определяющая экземпляр класса, в котором этот вызов должен быть исполнен, тип вызова (ближний или дальний), а также атомарную формулу вызова.
Вызов функции (call of function) - синтаксическая конструкция, имитирующая вызов подпрограммы-функции, возвращающей некоторое значение - терм. Вызовами функций являются атомарные формулы, заданные в конструкторах резидентов, а также специальные синтаксические конструкции в составе предложений.
Выражение (expression) - синтаксическая конструкция, представляющая собой видоизменённый вызов функции.
ПРИЛОЖЕНИЕ 3. ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)