Re: in praise of tabling

Bart, all you say is probably righ, but you don't need to be rude just to make your point.
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 ?

By fair I meant that I would like to see how xsb execute shapes2, that's all. I know that tabuling an already tabled program is nonsensical and so what ? just to see. but executing in normal mode a manually tabbled one could be fun...


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



Have fun (that's why we enjoy prolog and logic progamming, no ?)

Djamé
.