[Flora-development] Bug in _trace / _notrace ?
Brought to you by:
kifer
Menu
▾
▴
[Flora-development] Bug in _trace / _notrace ?
|
From: Markus S. <mar...@fo...> - 2009-11-06 11:28:05
|
Hello,
whenever I trace some program and then enter _notrace XSB exits
abnormally. Here's a sample session:
-----------------
flora2 ?- insert{ a[ b->c ] }.
[flrdbop loaded]
[flrdynrule loaded]
Elapsed time 0.0040 seconds
Yes
flora2 ?- _trace.
[Preprocessing /home/mschatte/myPackages/flora2/debugger/static_data.dat]
[FLORA: Static debugger data
loaded]
[Preprocessing /home/mschatte/myPackages/flora2/debugger/dynamic_data.dat]
[FLORA: Dynamic debugger data loaded for module
main]
Elapsed time 0.0160 seconds
Yes
flora2 ?- a[ ?x->?y ].
[ load module subsumes ]
(7) Call: [ load module flrdecode ]
a[?_h10419 -> ?_h10431] ?
(8) Call: (Checking against base facts) a[?_h10419 -> ?_h10431] ?
(8) Exit: (Checking against base facts) a[b -> c] ?
(8) Redo: (Checking against base facts) a[b -> c] ?
(8) Fail: (Checking against base facts) a[?_h10419 -> ?_h10431] ?
(9) Call: (Trying to derive by inheritance) a:?_h11696 ?
[ load module flrdatatype ]
(9) Exit: (Trying to derive by inheritance) a:(_symbol; ?_h11949) ?
(10) Call: (Trying to derive by inheritance)
(_symbol; ?_h11949)[?_h10419 *-> ?_h10431] ?
(10) Fail: (Trying to derive by inheritance)
(_symbol; ?_h11949)[?_h10419 *-> ?_h10431] ?
(9) Redo: (Trying to derive by inheritance)
a:(_symbol; ?_h11949) ?
(9) Exit: (Trying to derive by inheritance) a:(?_h11948;
_symbol) ?
(11) Call: (Trying to derive by inheritance) (?_h11948;
_symbol)[?_h10419 *-> ?_h10431] ?
(11) Fail: (Trying to derive by inheritance) (?_h11948;
_symbol)[?_h10419 *-> ?_h10431] ?
(9) Redo: (Trying to derive by inheritance) a:(?_h11948;
_symbol) ?
(9) Exit: (Trying to derive by inheritance)
a:_symbol ?
(12) Call: (Trying to derive by inheritance) _symbol[?_h10419
*-> ?_h10431] ?
(12) Fail: (Trying to derive by inheritance) _symbol[?_h10419
*-> ?_h10431] ?
(9) Redo: (Trying to derive by inheritance)
a:_symbol ?
(9) Exit: (Trying to derive by inheritance)
a:_object ?
(13) Call: (Trying to derive by inheritance) _object[?_h10419
*-> ?_h10431] ?
(13) Fail: (Trying to derive by inheritance) _object[?_h10419
*-> ?_h10431] ?
(9) Redo: (Trying to derive by inheritance)
a:_object ?
(9) Fail: (Trying to derive by inheritance)
a:?_h11696 ?
(7) Exit: a[b ->
c] ?
(7) Redo: a[b ->
c] ?
(7) Fail: a[?_h10419
-> ?_h10431] ?
(1) Redo: call_goal_cut_trans(('_$_
$_flora''silent_equal'(?_h10908,main)@_prolog, ${a[?_h10419
-> ?_h10431]}),('_$_$_flora''silent_equal'(?_h10908,main)@_prolog,
${a[?_h10419
-> ?_h10431]}),1092)@_prolog ?
(1) Fail: call_goal_cut_trans(('_$_
$_flora''silent_equal'(?_h10908,main)@_prolog, ${a[?_h10419
-> ?_h10431]}),?_h11073,1092)@_prolog ?
?x = b
?y = c
1 solution(s) in 0.0160 seconds
Yes
flora2 ?- _notrace.
(7) Call:
flora_shell_loop_handler(error(existence_error(procedure,:(usermod,_notrace / 0)@_prolog)@_prolog,[],[[155790776, 155793856, 155793784, 156237536, 156237608, 155850912, 155850912, 155850912, 155890816, 156151488, 156151104, 155890816, 155787712, 156124232, 155795192, 155890816, 155787712]])@_prolog)@_prolog ?
(8) Call: (9) Call: see(0)@_prolog ?
(9) Exit: see(0)@_prolog ?
(10) Call: (11) Call: Throw failed because no catcher for throw
Exiting XSB abnormally...
-----------------
Am I doing something wrong?
All the best,
Markus
--
Markus Schatten, MSc
University of Zagreb
Faculty of Organization and Informatics
Pavlinska 2, 42000 Varazdin, Croatia
http://www.foi.hr
http://autopoiesis.foi.hr
|