Книга: ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ

Средства отладки

В микро-Прологе предусмотрена возможность трассировки программы, однако средства трассировки должны быть предварительно загружены с помощью предиката LOAD. При трассировке выдается информация о процессе согласования всех целей, не содержащих встроенных предикатов. В моменты возникновения событий CALL, EXIT и FAIL, которые именуются, соответственно, как ENTER, FINISH и FAIL, выдаются соответствующие сообщения. Пользователю разрешается в момент события CALL вмешиваться в ход трассировки и задавать команды CONTINUE (продолжить выполнение с трассировкой), SKIP (прервать трассировку до завершения текущей цели), FINISH (немедленное согласование текущей цели) и FAIL (немедленная неудача в согласовании текущей цели).

Оглавление книги