Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://www.cplire.ru/Lab144/koi8/02030148.html
Дата изменения: Mon Sep 24 15:06:49 2007 Дата индексирования: Tue Oct 2 03:31:02 2012 Кодировка: koi8-r Поисковые слова: annular solar eclipse |
Фаза исполнения процесса (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. ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)