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

 

Максимальная относительная погрешность (maximal relative error) - ошибка представления вещественных чисел; определяет максимальное количество значащих цифр вещественного числа, воспринимаемое транслятором.

 

Метаатом (metaatom) - то же что "метапредикат".

 

Метапеременная (metavariable) - переменная, обозначающая предикат (в этом случае метапеременная является метапредикатом), функтор (в этом случае она является метафунктором) или список аргументов предиката с переменным числом аргументов.

 

Метапредикат (metapredicate) - предикат переменной арности, метапеременная, используемая в качестве атома или атом, в качестве функтора которого используется метапеременная.

 

Метапредложение (metaclause) - предложение, в котором используются метапеременные.

 

Метафунктор (metafunctor) - переменная, используемая в качестве функтора.

 

Механизм задержки исполнения (mechanism of suspension of execution) - вспомогательная стратегия управления, откладывающая исполнение выделенных подцелей до тех пор, пока не будет вычислена некоторая информация, необходимая для корректного исполнения этих подцелей.

 

Мир (world) - то же что "экземпляр класса".


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