Порядок просмотра баз данных при доказательстве предиката: если целевая база указана явно с помощью квалификатора ::, то поиск происходит только в ней. В противном случае, производится поиск сначала в основной глобальной базе (имя global), затем - в других глобальных базах (порядок не документируется), затем в базе данных фразоблока (имя local_block), затем в базе данных вариатора (имя local_var).
© Mental Computing 2010
