Thread: [Flora-development] Problems with persistent modules packages
Brought to you by:
kifer
Menu
▾
▴
flora-development
|
From: Didier \Ptitjes\ <pt...@fr...> - 2009-01-28 14:22:20
|
Hi list!
Here is a little program for which I've got problems with persistent
modules from Flora CVS.
?- [persistentmodules>>pm].
?- newmodule{contacts}.
/*
?- insert{ _#:Contact[
firstname -> "John",
lastname -> "Doe",
nickname -> "dj"
]@contacts }.
?- insert{ _#:Contact[
firstname -> "Jo",
lastname -> "Buzz",
nickname -> "buzz",
number("mobile") -> "1234567890",
number("home") -> "0987654321",
organization -> { _#[name -> "MyCorp"] }
]@contacts }.
*/
?- insert{ p(a)@contacts }.
Here is flora's output :
didier@didier ~/travail/dev/gits/ologicd.git/src/flora $ flora
[xsb_configuration loaded]
[sysinitrc loaded]
XSB Version 3.1 (Incognito) of August 10, 2007
[i486-pc-linux-gnu; mode: profile; engine: multi-threading; gc:
indirection; scheduling: local]
Evaluating command line goal:
| ?- asserta(library_directory('/usr/lib/flora2')). [flora2]. flora_shell.
| ?-
yes
| ?- [flora2 loaded]
[floraInstallMode loaded]
/home/didier/travail/dev/gits/ologicd.git/src
/home/didier/travail/dev/gits/ologicd.git
/home/didier/travail/dev/gits
/home/didier/travail/dev
/home/didier/travail
/home/didier
/home
/usr/lib/flora2
yes
| ?- [flrversion loaded]
[p2h_config loaded]
[prolog2hilog loaded]
[flrshell loaded]
[flrundefhook loaded]
[flrutils loaded]
[flranswer loaded]
[flrload loaded]
[flrdisplay loaded]
[flrimportedcalls loaded]
[trailer$eq=none+inh=flogic+cus=none_main loaded]
[patch_main loaded]
FLORA-2 Version 0.96devel (Callistephus Daintiness) of September 2008
Type `_help.' to display help.
Type `_demo(demoName).' to run a demo.
flora2 ?-
flora2 ?- [test]
.
[FLORA: Loading
/home/didier/travail/dev/gits/ologicd.git/src/flora/test.flr into module
main]
[test_main loaded]
[Preprocessing /usr/lib/flora2/genincludes/flropposes_data.flh]
[/usr/lib/flora2/genincludes/flropposes_data.flh dynamically loaded, cpu
time used: 0.1210 seconds]
[flrdbop loaded]
[flrdynrule loaded]
[flrdynrule loaded]
Warning: replacing previous verify_attribute_handler for module usermod.
[FLORA: Dynamically loading
/home/didier/travail/dev/gits/ologicd.git/src/flora/test.fld into module
main]
[Preprocessing /home/didier/travail/dev/gits/ologicd.git/src/flora/test.fld]
[FLORA: Done! CPU time used: 0.1340 seconds]
[FLORA: Loading /usr/lib/flora2/pkgs/persistentmodules.flr into module pm]
[persistentmodules_pm loaded]
[Preprocessing /usr/lib/flora2/genincludes/flropposes_data.flh]
[/usr/lib/flora2/genincludes/flropposes_data.flh dynamically loaded, cpu
time used: 0.1560 seconds]
[flrexport loaded]
[flrclause loaded]
[FLORA: Dynamically loading /usr/lib/flora2/pkgs/persistentmodules.fld
into module pm]
[Preprocessing /usr/lib/flora2/pkgs/persistentmodules.fld]
[FLORA: Done! CPU time used: 0.1640 seconds]
[flrpm loaded]
Elapsed time 0.1670 seconds
Yes
Elapsed time 0.1720 seconds
Yes
[trailer$eq=none+inh=flogic+cus=none_contacts loaded]
[patch_contacts loaded]
Elapsed time 0.1860 seconds
Yes
Elapsed time 0.1870 seconds
Yes
[dbdrivers loaded]
[db_interface loaded]
[driver_manager loaded]
[odbc loaded]
[odbc_driver_config loaded]
[odbc_driver loaded]
Removing incomplete tables...
++Abort[FLORA]> Attempt to insert into database the fact p@contacts in
module contacts failed because of the following: [SQLite]2 values for 1
columns (1)
Forward Continuation...
... machine:xsb_backtrace/1
... flrpm:db_DML_sql_internal/6
... flrpm:insert_hook_internal/1
... standard:call/1
flora2 ?-
Now if I uncomment the commented part, I get the following error :
Removing incomplete tables...
++Abort[FLORA]> Data source error (XSB_DBI_000): [SQLite]near "newoid3":
syntax error (1)
Forward Continuation...
... machine:xsb_backtrace/1
... standard:catch/3
... flrpm:insert_hook_internal/1
... standard:call/1
Thanks for your help.
Didier.
|
|
From: Michael K. <ki...@cs...> - 2009-11-06 04:27:16
|
Didier Ptitjes <ptitjes@fr...> - 2009-01-28 14:22 wrote: > > https://sourceforge.net/mailarchive/forum.php?thread_name=49805A54.6000700%40free.fr&forum_name=flora-development Sorry Didier, I got somehow unsubscribed and missed your question. I now tried your program, and it works for me. There must be some kind of installation problem-- either with Flora or (more likely) with XSB's ODBC driver. |
|
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
|
|
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
>
|
Thanks for helping keep SourceForge clean.
X