Глава 10. Трассировка и отладка

В разделах "Что произойдет, если вы сделаете синтаксическую ошибку?"

и "Трассировка вашей программы" Главы 2 приводится небольшой пример по

отладке программы на Турбо Прологе. В этой главе мы более глубоко изучим

различные инструменты Турбо Пролога, предназначенные для отладки прог-

рамм. Эти средства делятся на четыре основные категории: синтаксический

контроль, средство трассировки, директивы компилятора и сообщения об

ошибках во время исполнения.

Синтаксический контроль: синтаксический контроль Турбо Пролога рабо-

тает в совокупности со встроенным редактором. Когда вы пытаетесь компили-

ровать программу, исходный код которой содержит синтаксическую ошибку,

система выдаст сообщение об ошибке в окне редактора и расположит курсор

на месте ошибки.

Трассировка: Турбо Пролог также поддерживает много различных средств

трассировки, что позволяет:

- выполнять вашу программу по шагам;

- устанавливать точки трассировки для пошагового выполнения некото-

рых частей программы;

- трассировать только те предикаты, которые вы указали;

- выполнять трассировку в режиме оптимизации;

- включать и выключать трассировку в диалоговом режиме;

- направлять трассировку в диалоговом режиме для вывода на печать

или в файл.

Директивы компилятора: третьей формой отладки в Турбо Прологе явля-

ется группа директив компилятора, которые позволяют задавать тип и уро-

вень обнаружения ошибок, а также отчетную информацию, которую компилятор

выдает во время трансляции вашей программы, включая:

- предупреждения, если ваша программа содержит неопределенные пред-

ложения;

- список предикатов в вашей программе, а также их область действия,

размер, типы аргументов и поток параметров, если они используются

и являются определенными.

Ошибки времени выполнения: четвертым средством Турбо Пролога для на-

хождения ошибок в ваших кодах является сообщение об ошибках времени вы-

полнения. После того как ваша программа успешно скомпилирована, ошибки

могут возникнуть только при ее работе. Если это произодет, то программа

сообщит номер ошибки времени выполнения и место ее возникновения. В слу-

чае наличия файла PROLOG.ERR, программа также выдаст сообщение об ошибке,

показывающее, что произошло при работе программы.

Как программист, вы должны знать, что ошибки времени выполнения

очень трудно отслеживать. Так как логика программы не может быть пол-

ностью протестирована, пока нет фактической работы, в целях облегчения

отладки вашей программы в Турбо Прологе имеются средства вывода информа-

ции об ошибках времени выполнения.

Для проверки и тонкой настройки вашей программы эти четыре средства

отладки можно различным образом сочетать. В этой главе объясняется, как

использовать инструменты отладки Турбо Пролога и даются примеры того, как

эти средства могут помочь при разработке программы.