From: Daniel E. <el...@cs...> - 2005-09-27 18:11:15
|
SWI's CLPR (in version 5.5.31) does not sit on top of CHR. There is a special clpr package, and everything is in .pl files. There is no .chr file for clpr in the chr package. Where does that leave us? Daniel Terrance Swift wrote: >CLPR sits on top of CHR, and I believe that SWI's CLPR should sit on top >of our CHR pretty easily. Let me revise "believe' to "hope". All of the >engine-specific stuff should be handled at the level of attributed >variables and interrupts, and should not affect things much above the >level of CHR. So porting CLPR *should* be relatively simple, but I'll >have to check. > >Terry > >On Thu, 22 Sep 2005, Daniel Elenius wrote: > > > >>David Warren wrote: >> >> >> >>>Hi Daniel, >>> >>>Daniel Elenius writes: >>> >>> >>>>-------- Original Message -------- >>>>Subject: [Xsb-users] CLPR >>>>Date: Tue, 13 Sep 2005 13:14:27 -0700 >>>>From: Daniel Elenius <el...@cs...> >>>>To: xsb...@li... >>>> >>>> >>>Hmmm, Wonder why I'm not on the xsb-users list. I'll check that out. >>> >>> >>> >>>>I am wondering about the CLPR implementation in XSB (which I want to use >>>>with Flora-2). Apparently, this is broken since XSB 2.6 (?). Any plans >>>>in this area? >>>> >>>> >>>Yes, it got broken when we moved to using CHR (Constraint Handling >>>Rules) for CLP applications. I had hoped that we would get a set of >>>CHR rules that would implement real constraints as we had in CLPR, but >>>that has not (yet) happened. Tom Schrijvers (and Bart Demoen) were >>>instrumental in XSB's move to CHR. I will ask them if there is now >>>any implementation of real constraints in CHR. They have ported their >>>CHR system to SWI prolog and I understand that is what SWI will be >>>using for their CLP, so maybe there is something by now (or will be >>>something shortly.). >>> >>> >>> >>> >>> >>Would a CHR implementation for SWI work directly with XSB as well? I >>thought the tabling required some special handling. Or maybe that's just >>if we want to optimize things? >> >>How big of a task is this? >> >> >> >>>Actually, Bart reads this list, I think, so maybe he can respond? >>>Bart? >>> >>>Thanks for your interest in XSB. >>> >>>-David >>> >>> >>> >>> >> >>------------------------------------------------------- >>SF.Net email is sponsored by: >>Tame your development challenges with Apache's Geronimo App Server. >>Download it for free - -and be entered to win a 42" plasma tv or your very >>own Sony(tm)PSP. Click here to play: http://sourceforge.net/geronimo.php >>_______________________________________________ >>Xsb-development mailing list >>Xsb...@li... >>https://lists.sourceforge.net/lists/listinfo/xsb-development >> >> >> |