% source_info
| ?- [user].
% consulting user...
| a(_,_):-
b(_,_,_),
c(_).
| b(1,1,1).
| c(1).
|
% consulted user in module user, 0 msec 128 bytes
yes
% source_info
| ?- spy b.
% The debugger will first zip -- showing spypoints (zip)
% Plain spypoint for user:b/3 added, BID=1
yes
% zip,source_info
| ?- a(1,1).
+ 1 1 Call: b(_598,_599,_600) ? z
+ 1 1 Exit: b(1,1,1) ? z
yes
% zip,source_info
| ?- a(1,1).
+ 1 1 Call: b(_598,_599,_600) ?
+ 1 1 Exit: b(1,1,1) ?
2 1 Call: c(_596) ?
2 1 Exit: c(1) ?
yes
% zip,source_info
| ?- debug.
% The debugger will first leap -- showing spypoints (debug)
yes
% debug,source_info
| ?- a(1,1).
+ 2 2 Call: b(_610,_611,_612) ?
+ 2 2 Exit: b(1,1,1) ?
3 2 Call: c(_608) ?
3 2 Exit: c(1) ?
1 1 Exit: a(1,1) ?
yes
% debug,source_info
| ?-
Azt szeretnem, hogy ne kelljen mindig z-t utni, hanem kilistazza a b/3
hivasait (a-t es c-t ne!!!) beavatkozas nelkul.