Унификация (unification) - операция сравнения (отождествления) нескольких формул, связывающая переменные в составе формул сопоставленными с ними подформулами. Унификация различных (несвязанных) переменных приводит к сцеплению этих переменных.
Унифицировать, '==' (unify) - предопределённый предикат языка, вызывающий унификацию заданных аргументов.
Управляющий оператор (control statement) - синтаксическая конструкция, выражающая целостное законченное действие, реализуемое во время исполнения программы и способное нарушить её полноту относительно декларативной семантики.
Управляющий символ (control character) - элемент набора символов ASCII - возврат на одну позицию, горизонтальная табуляция, перевод строки, вертикальная табуляция, перевод формата или возврат каретки.
ПРИЛОЖЕНИЕ 3. ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)