> -----Original Message-----
> From: flora-users-bounces-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f@xxxxxxxxxxxxxxxx
> [mailto:flora-users-
> bounces-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f@xxxxxxxxxxxxxxxx] On Behalf Of
> Michael Kifer
> Sent: Tuesday, October 02, 2007 2:52 PM
> To: PhiHo Hoang
> Cc: flora-users-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f@xxxxxxxxxxxxxxxx
> Subject: Re: [Flora-users] _demo(clpdemo) => ++Error[FLORA]> File
> clpr[.{flr|P|xwam}] does not exist
>
>
> This is because XSB's clpr package currently does not work.
> The manual says at the beginning of that section that this feature does
> not
> work currently:
>
> Constraint Solving
>
> The following feature temporarily does not work, since beginning with
> XSB 2.6 constraint solving is being revamped and is not supported.
>
>
>
> --michael
>
>
My bad.
I must confess that I have not read that part of the Flora-2's manual ;-)
XSB is now at version 3.1 and XSB constraint solving has not been supported
since XSB 2.6. Is there any plan for support of this feature in (near)
future?
Regards,
PhiHo
> > Greetings,
> >
> > Did I miss clpr[.{flr|P}] or something else?
> >
> > Regards,
> >
> > PhiHo
> >
> >
> > C:\flora2\demos>runflora
> > [xsb_configuration loaded]
> > [sysinitrc loaded]
> >
> > XSB Version 3.1 (Incognito) of August 10, 2007
> > [x86-pc-windows; mode: optimal; engine: slg-wam; gc: indirection;
> scheduling:
> > local]
> >
> >
> > 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]
> >
> > FLORA-2 Version 0.95 (Androcymbium) of September 2007
> >
> > Type `_help.' to display help.
> > Type `_demo(demoName).' to run a demo.
> >
> > flora2 ?-
> >
> > flora2 ?- _demo(clpdemo).
> >
> > [FLORA: Loading C:\flora2\demos\clpdemo.flr into module main]
> > [clpdemo_main loaded]
> > [FLORA: Dynamically loading C:\flora2\demos\clpdemo.fdb into module
> main]
> > [Preprocessing C:\flora2\demos\clpdemo.fdb]
> > [FLORA: Done! CPU time used: 0.0000 seconds]
> > [FLORA: Dynamically loading C:\flora2\demos\clpdemo.fld into module
> main]
> > [Preprocessing C:\flora2\demos\clpdemo.fld]
> > [FLORA: Done! CPU time used: 0.0000 seconds]
> >
> > ++Error[FLORA]> File clpr[.{flr|P|xwam}] does not exist
> >
> > No
> >
> > Forward Continuation...
> > ... machine:xsb_backtrace/1
> > ... loader:load_pred1/1
> > ... loader:load_pred0/1
> > ... loader:load_pred/1
> > ... standard:call_c/1
> > ... standard:call/1
> > ... standard:call/1
> > ... flora_findall/3
> > ... fllibprogramans/2
> > ... consult:co_code_call/3
> > ... consult:load_exec/2
> > ... consult:reconsult0/3
> > ... consult:consult/1
> > ... flrutils:flora_flload/2
> > ... flrutils:flora_load_module_internal/1
> > ... standard:call/1
> > ... standard:call/1
> > ... standard:call/1
> > ... standard:call/1
> > ... x_interp:_$call/1
> > ... x_interp:call_query/1
> > ... standard:call/1
> > ... standard:catch/3
> > ... x_interp:interpreter/0
> > ... loader:ll_code_call/3
> > ... standard:call/1
> > ... standard:catch/3
> > ++Error[FLORA]> Attempt to call undefined Prolog predicate {}/1 in
> module `userm
> > od'
> > flora2 ?-
> >
> >
> >
> > ---------------------------------------------------------------------
> ----
> > This SF.net email is sponsored by: Microsoft
> > Defy all challenges. Microsoft(R) Visual Studio 2005.
> > http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
> > _______________________________________________
> > Flora-users mailing list
> > Flora-users-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f@xxxxxxxxxxxxxxxx
> > https://lists.sourceforge.net/lists/listinfo/flora-users
> >
>
>
>
> -----------------------------------------------------------------------
> --
> This SF.net email is sponsored by: Microsoft
> Defy all challenges. Microsoft(R) Visual Studio 2005.
> http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
> _______________________________________________
> Flora-users mailing list
> Flora-users-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f@xxxxxxxxxxxxxxxx
> https://lists.sourceforge.net/lists/listinfo/flora-users
-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2005.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
|
