"Mestersirály" <mestersiraly(a)gmail.com> writes:
Sziasztok!
Hogy tudom elerni, hogy a trace csak adott sorokat irjon ki? Pl:
a(_,_):-
b(_,_,_),
c(_).
Minden szonal tobbet er egy szkript...
-Peter
% 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 a ?- trace, a/2 meghivasakor csak
a b/3 meghivasai
irodjanak ki.
_______________________________________________
NHLP-l mailing list
NHLP-l(a)sziami.cs.bme.hu
http://sziami.cs.bme.hu/mailman/listinfo/nhlp-l