5. Отладка и трассировка программ
Введенная или загруженная с диска Пролог-программа после выбора в главком меню команды Вып запускается системой на компиляцию и выполнение. Но прежде, чем программа начнет выполняться, она проверяется на соответствие синтаксисуКаждый раз при вызове предиката в окне "Трасс" отображаются имя предиката и значения его параметров | |
Это сообщение выводится в окне слежения, когда предложение выполнилось и предикат возвращает управление вызвавшему его предикату. Если существуют дальнейшие предложения, которые удовлетворяют входным параметрам, отобразится символ звездочка для указания того, что данное предложение находится в точке поиска с возвратом. | |
Когда предикат не достиг успеха, отображается слово FAIL, за которым следует имя данного предиката. | |
Указывает на то, что имеет место поиск с возвратом. Имя предиката, который повторно выполняется, вместе со значениями его параметров отображается в окне слежения. |
может быть переопределено таким образом:new_predicat(...) :- old_predicat(...) , new_goal(...) , ...
и трассировка пойдет быстрее.new_predicat(...) :- trace(off) , old_predicat(...) , tracc(on) , new_goal(...) , ...
которое выводит результаты обращений (CALL) u возвратов (RETURN) только для перечисленных в директиве trace предикатов predicate1, predicate2, predicate3 и т.д.trace predicate1, predicate2, predicate3, ...