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

 

Заголовок недоопределённого множества (heading of underdetermined set) - значение элемента с именем 0 (ноль). Заголовок может быть задан перед фигурными скобками недоопределённого множества.

 

Заголовок предложения (heading of clause) - атомарная формула в начале предложения (стоящая перед ограничителем ":-" или ".").

 

Задержанная подцель (suspended subgoal) - подцель доказательства, исполнение которой было отложено механизмом задержки исполнения подцелей.

 

Задерживающее значение (suspending value) - значение потокового сообщения, переменной или порта, равное спейсеру # или несвязанной переменной (в том числе, пустому значению).

 

Защищающий порт (protecting port) - разновидность портов процессов, обладающая следующими свойствами: 1) Все потоковые сообщения, передаваемые процессом через защищающий порт автоматически объявляются защищёнными. 2) Значения всех незащищённых сообщений, принимаемых процессом через защищающий порт игнорируются в ходе обработки этих сообщений.

 

Защищённое сообщение (protected message) - разновидность потоковых сообщений, используемая для управления передачей потоковых сообщений между процессами. В ходе передачи потоковых сообщений из некоторого процесса G незащищённое сообщение не может изменить глобальное значение, переданное в виде защищённого сообщения из какого-либо другого процесса (отличного от G).

 

Знак операции (operator) - ограничитель, специальным образом используемый в составе выражений и атомарных формул.

 

Значение лексемы (value of token) - наименование смысловых единиц, создаваемых лексическим анализатором и соответствующих лексемам, обнаруженным в тексте программы. Последовательность значений лексем передаётся синтаксическому анализатору в качестве результатов работы лексического анализатора.

 

Значение переменной (value of variable) - 1. Значением лексемы "переменная" является соответствующая ей последовательность графем. 2. Значением терма "переменная" является значение лексемы "переменная", до тех пор пока переменная (терм) не будет связана с какой-либо константой, составным термом или миром. Значением связанной переменной является соответствующий элемент данных, мир или спейсер.

 

Значение порта (value of port) - некоторое значение терма.

 

Значение потокового сообщения (value of flow message) - некоторое значение терма.

 

Значение слота (value of slot) - некоторое значение терма.

 

Значение терма (value of term) - элемент данных, мир, спейсер или, если терм является несвязанной переменной, значение лексемы "переменная".


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