Текущее значение порта (current value of port) - некоторый вспомогательный терм, поставленный в соответствие порту.
Терм (term) - синтаксическая конструкция, обозначающая элемент данных или экземпляр класса. Различаются простые термы, составные термы, а также вызовы функций в предложениях.
Точка выбора (backtrack point) - неисследованный путь, по которому может пойти исполнение программы в случае отката.
ПРИЛОЖЕНИЕ 3. ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)