Основное назначение трассировки и контрольных точек состоит в том, чтобы программист получил информацию о попытках согласования определенных целей, возникающих в ходе выполнения его программы. Программист может принять решения относительно интересующих его целей и относительно уровня своего вмешательства в процесс их согласования. Первое решение сводится к выбору определенной комбинации полной трассировки и трассировки по контрольным точкам. Вообще говоря, полная трассировка означает выдачу информации обо всех целях, а контрольные точки позволяют программисту получить информацию лишь о тех предикатах, которые он задал. Однако эти возможности могут различными способами комбинироваться. Используемые при этом встроенные предикаты рассмотрены в разд. 6.13. Контрольная точка для какого-либо предиката устанавливается с помощью предиката spy(отмена контрольной точки выполняется предикатом nospy). Установка режима полной трассировки осуществляется предикатом trace(а ее отмена – предикатом notrace).
Второе решение заключается в выборе уровня управления процессом трассировки. При неуправляемой трассировке информация о целях выдается на терминал и программа продолжает выполнение. При управляемой трассировке, выдав информацию о цели, система каждый раз спрашивает у программиста, что бы он хотел сделать. Он может изменить уровень трассировки, изменить нормальный ход выполнения программы и дать ряд других указаний. Ваша Пролог-система может обеспечивать раздельный выбор уровня управления трассировкой для каждого из четырех видов событий:
• Когда впервые делается попытка согласовать некоторую цель с базой данных, когда данная цель встречается впервые (событие CALL);
• Когда цель успешно согласована (событие EXIT);
• Когда готовится попытка повторного согласования цели (событие REDO), и
• Когда устанавливается несогласуемость цели с базой данных, поскольку все попытки вновь согласовать ее оказались безуспешными (событие FAIL).
Например, разумным представляется такой выбор: задать трассировку событий CALL и REDO как управляемую, а трассировку событий EXIT и FAIL – как неуправляемую. Более подробное описание этих четырех событий, происходящих при согласовании целей с базой данных, приведено в разд. 8.3,
Рассмотрим теперь, что за информация выдается пользователю, когда происходит некоторое событие с интересующей его целью. Прежде всего выдается название цели с указанием вида произошедшего события и, возможно, номера обращения. Если для данного события задана неуправляемая трассировка, то это все. Если же задана управляемая трассировка, то Пролог потребует указаний относительно того, что ему делать дальше. Протокол полной неуправляемой трассировки мог бы выглядеть следующим образом:
?- [user].
присоединить([],Y,Y).
присоединить([А|В],С,[А|D]):- присоединить(В,С,D).
/* введите здесь литеру – признак конца файла */
да
?- присоединить ([а][b],Х).
CALL присоединить([a],[b],_43)
CALL присоединить([],[b],_103)
EXIT присоединить([],[b],[b])
EXIT присоединить([a],[b],[a,b])
X = [a,b];
REDO присоединить([a],[b],[a,b])
REDO присоединить([],[b],[b])
FAIL присоединить([],[b],_103)
FAIL присоединить ([a], [b],_43)
нет
?- присоединить(Х,Y,[а])
CALL присоединить(_37,_38,[а])
EXIT присоединить([],[а],[а])
X = [], Y = [a];
REDO присоединить([],[a],[a])
CALL присоединить(_93,_38,[])
EXIT присоединить([],[],[])
EXIT присоединить([а],[],[a])
X = [a], Y = [];
REDO присоединить([a],[],[a])
REDO присоединить([],[],[])
FAIL присоединить (_93,_38,[])
FAIL присоединить(_37,_38,[])
нет
Здесь на терминал выведены сведения обо всех четырех событиях для всех целей. Однако программист не может приостановить выполнение программы в какой-либо точке, изменить по ходу выполнения объем трассировочной информации, или как-либо еще повлиять на ход выполнения трассировки. Эти возможности предоставляются при управляемой трассировке.
Прежде чем перейти к рассмотрению управляемой трассировки, следует сделать несколько замечаний о том, как Пролог выдает сведения о целях во время трассировки. На самом деле, способ выдачи сведений о целях средствами трассировки не обязательно совпадает с тем, который используется предикатом write.Это происходит потому, что для выдачи сведений о целях пользователю разрешается задавать свои собственные определения. Вы можете воспользоваться этой возможностью для того, чтобы вывести какие-либо общие структуры, используемые в вашей программе, особым способом, который обеспечивает большую наглядность и выразительность, чем обычный вывод с помощью предиката write.Эта возможность осуществляется следующим образом. Стандартный способ выдачи сведений о целях опирается на использование встроенного предиката printс единственным аргументом. Предикат printдействует, как если бы он был определён следующим образом:
Читать дальше