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

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

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

 

Библиотечный модуль (library unit) - элементарный программный модуль (определение класса или определение проекта), записанный в программную библиотеку в результате трансляции.

 

Бинарное отношение (binary relation) - атомарная формула, состоящая из двух операндов, соединенных оператором отношения.

 

Ближний вызов предиката (near call of predicate) - вызов предиката, в котором не указан явно мир, где этот вызов должен быть исполнен. Ближний вызов исполняется в том же самом мире, в котором исполняется предложение, содержащее данный вызов.


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