Предикаты, с особым значением в режиме трассировки

Вы можете заметить, что предикат write трассируется не так как дру-

гие предикаты. Сообщения о выполнении CALL и RETURN не появляются. Это

происходит потому, что оператор write обрабатывается компилятором особым

образом.

По этой же причине особым образом в режиме трассировки обрабатывают-

ся некоторые другие предикаты. Это следующие предикаты:

- все операции сравнения (=, -, и т.д.);

- все предикаты, транслируемые особым образом (см. Справочное руко-

водство).