Трассировка

Когда система поверит, что программа синтаксически правильна, она

будет успешно оттранслирована. При этом Турбо Пролог поддерживает уни-

кальные средства отладки и трассировки для эффективной разработки прог-

раммы.

Когда ваша программа готова к выполнению, следующим шагом отладки

является внимательный выбор целей, обеспечивающий проверку написанных ва-

ми предикатов. Для того, чтобы проверить логику вашей программы, каждый

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

предполагаете его использовать.

Если в ответ на запрос вы получите неожиданный результат, то вам не-

обходимо сделать третий шаг в цикле отладки - трассировку программы. При

трассировке в окнах Trace (Трасировка), Edit (Редактор) и Dialog (Диалог)

выводится пошаговая информация о том, как выполняется программа.