XSB supports constraint handling rules -- but when they were introduced,
CLP was broken.
Terry
On Tue, 2 Oct 2007, Michael Kifer wrote:
>
> > > -----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?
>
>
> There is a desire, but no concrete plans, as I understand :-)
>
>
> > 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/
> _______________________________________________
> Xsb-development mailing list
> Xsb-development-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f@xxxxxxxxxxxxxxxx
> https://lists.sourceforge.net/lists/listinfo/xsb-development
>
-------------------------------------------------------------------------
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/
|
