{var%20f='http://v.t.sina.com.cn/share/share.php?appkey=1515056452',u=z||d.location,p=['&url=',e(u),'&title=',e(t||d.title),'&source=',e(r),'&sourceUrl=',e(l),'&content=',c||'gb2312','&pic=',e(p||'')].join('');function%20a(){if(!window.open([f,p].join(''),'mb',['toolbar=0,status=0,resizable=1,width=440,height=430,left=',(s.width-440)/2,',top=',(s.height-430)/2].join('')))u.href=[f,p].join('');};if(/Firefox/.test(navigator.userAgent))setTimeout(a,0);else%20a();})(screen,document,encodeURIComponent,'','','https://www.manongdao.com/data/attach/logo/logo.png', '推荐 该账号已被封号 的问题《Bounded tabling》','https://www.manongdao.com/q-794574.html','页面编码gb2312|utf-8默认gb2312'));){kind=link}
Quite recently, I started playing around with tabling in Prolog; some experiments that I did with b-prolog and xsb can be found in this question.
With the tables getting bigger and bigger, I realized that I needed to find some tabling options / parameters that would allow me to limit the amount of memory dedicated to tabling.
So far, I didn't find anything suitable in the manuals of yap, b-prolog and xsb.
Could you please pinpoint me to some useful information?
In the case of YAP, there are some publications that go into detail in the tabling implementation. One of the most relevant ones is likely Mode-Directed Tabling and Applications in the YapTab System:
http://cracs.fc.up.pt/node/4962
I have some of this paper examples adapted in Logtalk (I'm in same research group - CRACS - as the authors):
https://github.com/LogtalkDotOrg/logtalk3/blob/master/examples/tabling/tabling.lgt
(see code starting at line 63).
At the CRACS website (http://cracs.fc.up.pt) you can fine several other papers on tabling.