Часть 3. Описание турбо пролога 2.0 203

Синтаксическая проверка 190

Пример 191

Трассировка 191

Директива трассировки 192

Пример использования директивы trace 192

Трассировка в режиме оптимизации: shorttrace 194

Пример 194

Трассировка указанных предикатов 194

Пример использования директивы shorttrace 194

Сохранение результатов трассировки 195

Предикат trace 195

Пример использования предиката trace 196

Диалоговое управление трассировкой 196

Состояние ( Status ) 196

Окно Трассировки ( Trace Window ) 197

Окно Редактора ( Edit Window ) 197

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

Упражнение по трассировке 197

Директивы компилятора, используемые для отладки 198

Директивы check_determ и nondeterm 198

Упражнение 198

Директива diagnostics 199

Директива nowarnings 200

Собщения об ошибках во время выполнения программы 200

Опции компилятора из меню 201

Integer Overflow Check (Проверка целого) 202

Stack Check (Проверка стека) 202

Обзор 202