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

Фаза исполнения процесса (phase of execution of process) - законченный период исполнения процесса, соответствующий обработке процессом некоторого сообщения или изменению состояния процесса. После успешного окончания фазы исполнения процесса осуществляется фиксирование процесса.

Факт (fact) - предложение, в составе которого отсутствуют подцели.

Фиксирование процесса (fixation of process) - действия, осуществляемые после успешного окончания очередной фазы исполнения процесса: 1) устранение всех точек выбора, возникших в течение этой фазы; 2) фиксирование всех общих переменных всех акторов, принадлежащих процессу.

Фиксирование терма (fixation of term) - заменена спейсером # всех несвязанных переменных в составе терма. В соответствии с семантикой Акторного Пролога, фиксирование не распространяется на переменные в составе миров, являющихся компонентами фиксируемого терма.

Фиксированное значение (fixed value) - значение терма, в котором заменены спейсером # все несвязанные переменные, за исключением переменных в составе миров, являющихся компонентами рассматриваемого терма.

Формирование программы (formation of program) - сборка программы из библиотечных модулей, сопровождаемая проверкой ее синтаксической правильности.

Формирование процесса (formation of process) - последовательность действий, создающих пространство поиска и слоты процесса: 1) Доказательство простого конструктора, заданного в составе конструктора процесса. 2) Определение портов процесса. 3) Проверка текущих значений портов процесса и перевод процесса в состояние "используемый сформированный" или в состояние "неиспользуемый" (в соответствии с правилами переключения состояний процесса). 4) Автоматическое отправление процессу инициализирующего потокового сообщения.

Формирование экземпляра класса (formation of class instance) - последовательность действий, создающих пространство поиска и слоты экземпляра класса.

Функтор (functor) - имя (символ или метапеременная), которому приписана некоторая арность (число аргументов). Метапеременная, используемая в качестве функтора, называется метафунктором.

Функция (function) - разновидность предиката, предназначенная для имитации подпрограмм-функций, возвращающих выходное значение.

ПРИЛОЖЕНИЕ 3. ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)