有界的制表 [英] Bounded tabling
问题描述
最近,我开始在Prolog中进行制表;我对b-prolog 和 xsb 的问题
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?
推荐答案
对于YAP,在制表实现中有一些详细的出版物.最相关的一种可能是YapTab系统中的模式控制制表和应用程序:
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
我有一些适用于Logtalk的论文示例(与作者在同一研究小组-CRACS中):
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
(请参阅从第63行开始的代码).
(see code starting at line 63).
在CRACS网站( http://cracs.fc.up.pt )中,您可以有关制表的其他几篇论文.
At the CRACS website (http://cracs.fc.up.pt) you can fine several other papers on tabling.
这篇关于有界的制表的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持IT屋!