... ходе доказательства актора P. Вложенные миры (nested worlds) - Мир B называется вложенным по отношению к миру A, если конструктор мира B является инициализатором слота мира A или какого - либо мира E, вложенного по отношению к A. Встроенный предикат (built - in predicate) - предикат , являющийся составной частью определения языка ... Вызов функции (call of function) - синтаксическая конструкция, имитирующая вызов подпрограммы - функции, возвращающей некоторое значение - терм . ...