有界的表格

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），您可以查阅其他几篇关于表格的文章。