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

 

Наследование (inheritance) - принцип формализации знаний, в соответствии с которым в Акторном Прологе набор предложений экземпляра некоторого класса C включает предложения класса C, а также предложения всех классов, являющихся предками C в иерархии наследования, заданной на множестве классов программы.

 

Начальное значение слота (initial value of slot) - значение слота, созданное во время его построения.

 

Недетерминированный (non-deterministic) - имеющий несколько возможных путей исполнения, которые могут быть перечислены с помощью отката.

 

Недоопределенное множество (underdetermined set) - составной терм, построенный из набора (возможно, пустого) элементов, заключенного в фигурные скобки. Элементы недоопределенного множества задаются в виде пар "имя_элемента: терм_или_выражение". В случае если набор элементов множества не является пустым, в состав множества может быть включен дополнительный компонент, обозначающий неопределенный остаток (хвост) множества.

 

Незащищенное сообщение (unprotected message) - потоковое сообщение, не являющееся защищенным.

 

Неиспользуемый процесс (unused process) - одно из возможных состояний процесса - характеризуется тем, что на некоторые отключающие порты процесса поданы задерживающие значения. Неиспользуемый процесс не принимает и не посылает никакие сообщения. Считается, что неиспользуемый процесс не имеет никаких производных значений, и все его акторы согласованы.

 

Нейтрализация актора (neutralization of actor) - отмена всех результатов доказательства актора, за исключением результатов доказательства вложенных по отношению к нему акторов.

 

Нейтрализация процесса (neutralization of process) - переход процесса в состояние "неудачный" (в случае неудачного или аварийного завершения обработки некоторого переключающего сообщения).

 

Нейтральный актор (neutral actor) - актор, предыдущее доказательство которого отменено, а повторное доказательство еще не началось.

 

Непустое значение сообщения (non-empty value of message) - значение непустого потокового сообщения.

 

Непустое потоковое сообщение (non-empty flow message) - потоковое сообщение, не являющееся пустым.

 

Несвязанная переменная (unbound variable) - переменная, не связанная с константой, составным термом или миром.

 

Несогласованный порт (inconsistent port) - одно из двух возможных состояний порта процесса - порт становится "несогласованным", когда процесс получает через него потоковое сообщение.

 

Неудачный процесс (failed process) - одно из возможных состояний процесса - характеризуется тем, что акторы процесса выведены из согласованного состояния. В этом состоянии приостанавливается обработка любых информационных сообщений, принимаемых процессом.


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