"Mestersirály" <mestersiraly(a)gmail.com> writes:
% source_info
| ?- [user].
% consulting user...
| a(_,_):-
b(_,_,_),
c(_).
| b(1,1,1).
| c(1).
|
(...)
Azt szeretnem, hogy ne kelljen mindig z-t utni, hanem kilistazza a b/3
hivasait (a-t es c-t ne!!!) beavatkozas nelkul.
| ?- spy(b,-[print,flit]).
% Conditional spypoint for user:b/3 added, BID=1
yes
% zip,source_info
| ?- a(1,1).
* 1 1 Call: b(_598,_599,_600)
yes
% zip,source_info
| ?- nospyall,spy(b,-[print,proceed]).
% All spypoints removed
% Conditional spypoint for user:b/3 added, BID=1
yes
% zip,source_info
| ?- a(1,1).
* 1 1 Call: b(_598,_599,_600)
* 1 1 Exit: b(1,1,1)
yes
% zip,source_info