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

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

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

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

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

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

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

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

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

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