Глава 19. Сложные приемы программирования 365

Ошибки, исключительные ситуации и прерывания 365

Обработка исключительных ситуаций, связанных с ошибками 365

exit/o и exit/1 365

trap/3 366

errorsg/4 366

Обработка ошибок при чтении термов 367

consulterror/3 367

readtermerror/2 367

Управление режимом break 368

break/1 369

breakpressed/0 369

Углубленный контроль ошибок в .EXE файлах 369

criticalerror/4 370

fileerror/2 370

Анализ потока параметров 371

Контроль потока параметров 372

Ссылочные типы 373

Объявление ссылочных типов 373

Ссылочные типы и массив trail 374

Применение ссылочного типа 374

Пример 375

Динамическое отсечение 376

Примеры 376

Применение ссылочных типов при реализации бинарных деревьев 377

Сортировка с помощью ссылочных типов 378

Стиль программирования 379

Использование предиката fail 382

Детерминизм и отсечение 382