20 Nov
2006
20 Nov
'06
6:52 p.m.
Sziasztok!
Hogy tudom elerni, hogy a trace csak adott sorokat irjon ki? Pl:
a(_,_):-
b(_,_,_),
c(_).
Azt szeretnem, hogy a ?- trace, a/2 meghivasakor csak a b/3 meghivasai
irodjanak ki.
21 Nov
21 Nov
1:41 p.m.
"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
9:52 p.m.
% 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.
29 Nov
29 Nov
5:38 p.m.
"Mestersirály" <mestersiraly(a)gmail.com> writes:
| ?- 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
% 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.
6739
days inactive
6748
days old
3 comments
2 participants
participants (2)
-
Mestersirály -
Peter Szeredi