#181 Flora2 and XSB-Windows version

Performance problem
closed-out-of-date
nobody
None
5
2013-08-07
2011-03-31
No

I downloaded the new windows binary release, downloaded a new flora2 (0.95) succeeded in building flora2 using visual C++ nmake.
but when I started Flora I got:

XSB Version 3.2 (Kopi Lewak) of March 15, 2009
[x86-pc-windows; mode: optimal; engine: slg-wam; scheduling: local; word size: 32]

Evaluating command line goal:
| ?- asserta(library_directory('c:\\flora2')). [flora2]. flora_shell.

| ?-
yes
| ?- [flora2 loaded]
[floraInstallMode loaded]

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]
++Error[XSB/Runtime/P]: [Miscellaneous] [GET_STORAGE_HANDLE] trie type (3d arg) must be an integer
Forward Continuation...
... flrstoragebase:triehandle_for_storage/2
... flrstoragebase:flora_db_delete_all/1
... consult:co_code_call/3
... consult:reconsult0/3
... consult:consult/1
... flrutils:flloadpatch/1
... flrutils:flloadtrailer/2
... flora_init_shell/0
... x_interp:_$call/1
... x_interp:call_query/1
... standard:call_expose/1
... standard:catch/3
... x_interp:interpreter/0
... loader:ll_code_call/3
... standard:call_expose/1
... standard:catch/3

I tried to find out more so I started flrstoragebase:flora_db_delete_all(X). in the debugger.
On my Mac with the Mac-build:

[trace]
| ?- flrstoragebase:flora_db_delete_all(X).
(0) Call: flora_db_delete_all(_h133) ?
(1) Call: triehandle_for_storage(_h133,_h194) ?
(2) Call: storage_builtin(1,_h133,_h194,_h203,_h204) ? s
(2) Exit: storage_builtin(1,_h133,6,0,0) ?
(1) Exit: triehandle_for_storage(_h133,6) ?
(3) Call: storage_builtin(4,_h133,_h233,_h234,_h235) ?
(3) Exit: storage_builtin(4,_h133,_h233,_h234,_h235) ?
(4) Call: delete_trie(6) ?
(5) Call: delete_trie(6,0) ?
(5) Exit: delete_trie(6,0) ?
(4) Exit: delete_trie(6) ?
(0) Exit: flora_db_delete_all(_h133) ?

X = _h133

on Windows7 with the windows build:
| ?- flrstoragebase:flora_db_delete_all(X).
(0) Call: flora_db_delete_all(_h172) ?
(1) Call: triehandle_for_storage(_h172,_h233) ?
(2) Call: storage_builtin(1,_h172,_h233,_h242,_h243) ?
(3) Call: xsb_thread_self(_h259) ?
(4) Call: thread_self(_h259) ?
(4) Exit: thread_self(0) ?
(3) Exit: xsb_thread_self(0) ?
(6) Call: retractall($$exception_ball(0,_h540)) ? n
++Error[XSB/Runtime/P]: [Miscellaneous] [GET_STORAGE_HANDLE] trie type (3d arg) must be an integer
Forward Continuation...
... debugger:basic_call/3
... debugger:basic_call/3
... flrstoragebase:triehandle_for_storage/2
... debugger:basic_call/3
... standard:call_c/1
... debugger:code_call_h/3
... x_interp:_$call/1
... x_interp:call_query/1
... standard:call_expose/1
... standard:catch/3
... x_interp:interpreter/0
... loader:ll_code_call/3
... standard:call_expose/1
... standard:catch/3

Discussion

  • Michael Kifer

    Michael Kifer - 2013-08-07

    Sorry, somehow missed that one. It should have been submitted on the Flora-2 site. But anyway, there have been many improvements both in Flora and XSB installation since, so this report is no longer relevant.

     
  • Michael Kifer

    Michael Kifer - 2013-08-07
    • status: open --> closed-out-of-date
    • Group: --> Performance problem
     

Log in to post a comment.