Re: in praise of tabling

Bart Demoen a écrit : 
Djamé wrote:

Bart, all you say is probably righ, but you don't need to be rude just to make your point. 


If you could point out where you think I was rude, I might learn
something - the rudeness you sensed was not intented by me.

Come on, you perfectly know what I meant when I said you were rude...
In french I'll said you were "gentiment moqueur" (nicely mocker ?). I'm sorry, I should have badly used "rude" instead of nicely mocker......




Last time I checked XSB was a pain to install (it was in 2001/2002) due to the lack of gnuconf toolchain, is it still ? 


It is easy to check that by mailing to the XSB people or by downloading
XSB and trying it out - after you did that, you could contribute to
c.l.p. by sharing an experience.


as opposed to when ?







By fair I meant that I would like to see how xsb execute shapes2, that's all. 

It is not the common meaning of "fair", that's all.

but executing in normal mode a manually tabbled one could be fun... 


Sure - and you expect someone else to provide the entertainment. Fair
enough.

not rude. Of course. it's not like I was expecting anything. Isn't this ng supposed to be a place to talk ? I should have replaced "rude" by "telling this guy to get the hell out of here"



In fact, I would like to see a big benchmarking process  between
all the tabular prolog and the regular ones

xsb- B-Prolog - Dyalog     vs yap/swi/sictus and amzi


something which would enlight us about the performance, the quality of documentation, the ease to integrate with other langage, quality of built-in predicate, etc.... 


I do not know of benchmarking of documentation quality (which is
difficult to measure objectively I think)

one tip : the capacity to learn how to use a tool reading the less possible number of pages or the number of running example given to describe a behaviour..

or of integration ease, 
number of mixed project using this kind of prolog with another language ?

but about performance (tabling, builtins, other issues) there is a fair
amount of published literature.


BTW1, in the list of Prologs with tabling, you don't mention ALS-Prolog
(with tabling based on Dynamic Reordering of Alternatives - abbreviated
DRA).


Thanks for that one.




BTW2, you put Yap in the "regular" Prologs, but Yap has tabling. 

It's not mentionned on their pages, good to know.




Cheers

Bart Demoen 


Thanks


Djamé



.

Relevant Pages

  • Re: moderation of abuse
    ... > seen high levels both of quality and of abuse is at all accidental. ... I think that the excuses for being rude that are usually given ... Tyler: "How's that working out for you?" ...
    (comp.lang.lisp)
  • Re: help needed with (very) old writing, please
    ... I may make enquiries at the uni to see if anyone has experience of reading stuff like this ... though the quality of his writing may prove impossible ... I've found that ignoring the rude ones usually works. ...
    (uk.people.silversurfers)
  • Re: Why 64bit Delphi compiler from Borland may be meaningless!
    ... There's no excuse for being snide, rude, and obnoxious, regardless of ... the quality of one's argument. ...
    (borland.public.delphi.non-technical)