>> 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/
|