prolog - 有界表

Question

最近，我开始在 Prolog 中玩转表格。我用b-prolog和xsb做的一些实验可以在这个问题中找到。

随着表格越来越大，我意识到我需要找到一些表格选项/参数，以允许我限制专门用于表格的内存量。

到目前为止，我在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 )，您可以对其他几篇关于表格的论文进行细化。