Hi,
> -----Original Message-----
> From: Terrance Swift [mailto:tswift-EX0cT3Az47bauI2f2gSDlQ@xxxxxxxxxxxxxxxx]
> Sent: Tuesday, October 02, 2007 8:36 PM
> To: Michael Kifer
> Cc: PhiHo Hoang;
> xsb-development-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f@xxxxxxxxxxxxxxxx; flora-
> users-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f@xxxxxxxxxxxxxxxx; 'David Warren'
> Subject: Re: [Xsb-development] [Flora-users] _demo(clpdemo) =>
> ++Error[FLORA]> File clpr[.{flr|P|xwam}] does not exist
>
>
> XSB supports constraint handling rules -- but when they were introduced,
> CLP was broken.
>
> Terry
>
Thanks for the clarification.
How bad was the damage, is it still repairable?
It looks like CLP was traded for CHR.
Please excuse my ignorance, but are they mutually exclusive and what's the
trade-off?
Regards,
PhiHo
> 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
> > >
-------------------------------------------------------------------------
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/
|
