有限制表格

Question

不久之前，我開始在Prolog中製表，我用b-prolog和xsb做的一些實驗可以找到in this question。

隨着表越來越大，我意識到我需要找到一些製表選項/參數，這些選項/參數將允許我限制用於製表的內存量。

到目前爲止，我沒有在yap,b-prolog和xsb的手冊中找到任何合適的東西。

請問你能找到一些有用的信息嗎？

Answer 1

在YAP的情況下，有一些出版物在表格實現中詳細介紹。其中最相關的是可能模式，定向和製表應用在YapTab系統：

http://cracs.fc.up.pt/node/4962

我有一些適合於Logtalk（我在同一個研究小組提出的例子 - CRACS - 正如作者）：

https://github.com/LogtalkDotOrg/logtalk3/blob/master/examples/tabling/tabling.lgt

（見代碼開始於63行）。

在CRACS網站（http://cracs.fc.up.pt），你可以罰單上的其他幾個文件。