Заголовок недоопределенного множества (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. ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)