Библиотечный модуль (library unit) - элементарный программный модуль (определение класса или определение проекта), записанный в программную библиотеку в результате трансляции.
Бинарное отношение (binary relation) - атомарная формула, состоящая из двух операндов, соединённых оператором отношения.
Ближний вызов предиката (near call of predicate) - вызов предиката, в котором не указан явно мир, где этот вызов должен быть исполнен. Ближний вызов исполняется в том же самом мире, в котором исполняется предложение, содержащее данный вызов.
ПРИЛОЖЕНИЕ 3. ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)