Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.cplire.ru/Lab144/koi8/02030147.html
Дата изменения: Mon Sep 24 15:06:49 2007
Дата индексирования: Tue Oct 2 03:29:15 2012
Кодировка: koi8-r

Поисковые слова: guide 8.0
Actor Prolog. Programming language definition.

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

 

Унификация (unification) - операция сравнения (отождествления) нескольких формул, связывающая переменные в составе формул сопоставленными с ними подформулами. Унификация различных (несвязанных) переменных приводит к сцеплению этих переменных.

 

Унифицировать, '==' (unify) - предопределенный предикат языка, вызывающий унификацию заданных аргументов.

 

Управляющий оператор (control statement) - синтаксическая конструкция, выражающая целостное законченное действие, реализуемое во время исполнения программы и способное нарушить ее полноту относительно декларативной семантики.

 

Управляющий символ (control character) - элемент набора символов ASCII - возврат на одну позицию, горизонтальная табуляция, перевод строки, вертикальная табуляция, перевод формата или возврат каретки.


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