Термины и определения. Буква "В".

Владелец резидента (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. ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)