Tabling (was Re: Ann: SWI-Prolog 6.5.1)

Hi Samer,

On 08/13/2013 11:13 AM, Abdallah, Samer wrote:
> Hi Jan,
> Thanks for the new version - I have a few versions to catch up now,
> but if you're wondering what to do next, might I suggest …
>  [whispering] tabling?
> I'd love to be able to implement something like this
>	http://sato-www.cs.titech.ac.jp/prism/
> on SWI. BProlog seems like a good Prolog but in terms of general
> usability, not to mention my investment in libraries, SWI is a lot better
> for me. I realise adding any sort of efficient tabling probably involves a major
> reworking of the base code - is it at all doable?

I think yes. Certainly the way (linear tabling) it is implemented in
B-Prolog. It has been on my wish list for a long time, and still is. As
you can imagine though, it requires significant implementation work.
This requires some planning and resources. I'm afraid it simply needs
help to get done. For example, a company wishing to pay for it,
partnership in an academic project or just contributing the code.

I'm open to any of these.

	Cheers --- Jan