Максимальная относительная погрешность (maximal relative error) - ошибка представления вещественных чисел; определяет максимальное количество значащих цифр вещественного числа, воспринимаемое транслятором.
Метаатом (metaatom) - то же что "метапредикат".
Метапеременная (metavariable) - переменная, обозначающая предикат (в этом случае метапеременная является метапредикатом), функтор (в этом случае она является метафунктором) или список аргументов предиката с переменным числом аргументов.
Метапредикат (metapredicate) - предикат переменной арности, метапеременная, используемая в качестве атома или атом, в качестве функтора которого используется метапеременная.
Метапредложение (metaclause) - предложение, в котором используются метапеременные.
Метафунктор (metafunctor) - переменная, используемая в качестве функтора.
Механизм задержки исполнения (mechanism of suspension of execution) - вспомогательная стратегия управления, откладывающая исполнение выделенных подцелей до тех пор, пока не будет вычислена некоторая информация, необходимая для корректного исполнения этих подцелей.
Мир (world) - то же что "экземпляр класса".
ПРИЛОЖЕНИЕ 3. ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)