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

 

Текущее значение порта (current value of port) - некоторый вспомогательный терм, поставленный в соответствие порту.

 

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

 

Точка выбора (backtrack point) - неисследованный путь, по которому может пойти исполнение программы в случае отката.


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