Re: [Flora-development] Bug in _trace / _notrace ?
Brought to you by:
kifer
Menu
▾
▴
Re: [Flora-development] Bug in _trace / _notrace ?
|
From: Michael K. <ki...@cs...> - 2009-11-06 23:21:46
|
looks like a maintenance bug in Flora.
You can fix it by replacing flNoTrace in flrshell.P with '_notrace' everywhere
On Fri, 06 Nov 2009 12:27:33 +0100
Markus Schatten <mar...@fo...> wrote:
> 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
>
>
>
> ------------------------------------------------------------------------------
> Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
> trial. Simplify your report design, integration and deployment - and focus on
> what you do best, core application coding. Discover what's new with
> Crystal Reports now. http://p.sf.net/sfu/bobj-july
> _______________________________________________
> Flora-development mailing list
> Flo...@li...
> https://lists.sourceforge.net/lists/listinfo/flora-development
>
|