logo       

Re: CHR vs CLP (was _demo(clpdemo) => ++Error[FLORA]> File clpr[.{flr|P|xwa: msg#00424

Subject: Re: CHR vs CLP (was _demo(clpdemo) => ++Error[FLORA]> File clpr[.{flr|P|xwam}] does not exist)
>> The other possibility would be for someone to go back at
>> look at why the CLP(R) implementation that we had got broken (when we
>> changed slightly the implementation of attributed variables for CHR)
>> and try to port it to our new attributed variable implementation.
>>
>> The problem, of course, is that it takes a person with knowledge,
>> interest, and time to do one of these.  At the moment, I don't see
>> anyone.

PhiHo,

If you only want to use CLP(R) in non-tabled code, then it takes very 
little to get it to work.

Take the CLP(R) code in SWI-Prolog, it has the same attributed variables 
implementation as XSB. Leslie De Koninck has ported it to SWI-Prolog, so 
he knows all about it. Moreover, he's been mainting the library and fixing 
bugs.

The main issue for portint that version would be the differences in module 
system. You don't need expert knowledge about the internal of the 
library. You just need to know a little bit of XSB's module system and 
its builtins and libraries. It's most likely a matter of hours, 
rather than days or weeks. Moreover, you can ask the expert, Leslie, or me 
for help.

Cheers,

Tom

--
Tom Schrijvers

Department of Computer Science
K.U. Leuven
Celestijnenlaan 200A
B-3001 Heverlee
Belgium

tel: +32 16 327544
e-mail: tom.schrijvers-4rd9VHyGk8h2kGVRwRwAbw@xxxxxxxxxxxxxxxx

-------------------------------------------------------------------------
This SF.net email is sponsored by: Splunk Inc.
Still grepping through log files to find problems?  Stop.
Now Search log events and configuration files using AJAX and a browser.
Download your FREE copy of Splunk now >> http://get.splunk.com/


<Prev in Thread] Current Thread [Next in Thread>