Kernel/lib/tracer_tty.pl

120 print_trace_line(inspect{type:Type,module:M,written:[CurrentTerm|_],path:Pos}) :-
121 	(Pos == [], Type == goal ->
757 inspect_subterm(0, inspect{top:Top,module:Module,type:Type,goalf:Tf}, Frame) ?- !,
760 	Frame = inspect{top:Top,written:[WTop],path:[],module:Module,type:Type,goalf:Tf},
763 inspect_subterm(Choice, inspect{top:Top,type:Type,path:Pos0,module:Module,written:Written0,goalf:Tf}, Frame) :-
776 	Frame = inspect{top:Top,type:Type,module:Module,path:Pos1,written:Written,goalf:Tf},
780 inspect_subterm(N, inspect{top:Top,type:Type,path:Pos,module:Module,written:Written,goalf:Tf}, Frame) :-
796 	   written:Written1,type:Type,goalf:Tf},
800 move_down(N, inspect{path:Pos,top:Top,written:Written,module:Module,type:Type,goalf:Tf}, Frame) :-
802 	traverse_down(N, 0, CPos, Top, Pos, Written, Type, Tf, Frame, Module).
805 traverse_down(N, N, CPos, Top, Pos, Written, Type, Tf, Frame, Module) :- !,
807         Frame = inspect{top:Top,path:Pos,written:Written,module:Module,type:Type,goalf:Tf},
809 traverse_down(N, M, CPos, Top, Pos, Written0, Type, Tf, Frame, Module) :-
817 	    traverse_down(N, M1, CPos, Top, [CPos|Pos], [NewTerm|Written0], Type, Tf, Frame, Module)
819             Frame = inspect{top:Top,module:Module,path:Pos,written:Written0,type:Type,goalf:Tf},
825    type:Type,goalf:Gf}, Frame) :-
830 	  type:Type,path:Pos1,goalf:Gf},
834    type:Type,goalf:Gf}, Frame) :-
848            type:Type,module:Module,goalf:Gf},
865    type:Type,goalf:Gf}, Frame) :-
882 	   type:Type,goalf:Gf},
916 	type_of(Term, Type),
917 	( Type = goal -> printf(Stream, "(suspension)", [])
918 	; printf(Stream, "(%w)", [Type]) ).