有界表

Question

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

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

到目前为止，我在yap、b-prolog和xsb的手册中没有找到任何合适的内容。

你能给我指出一些有用的信息吗？

Answer 1

就 YAP 而言，有一些出版物详细介绍了表格实施。最相关的之一可能是YapTab 系统中的模式定向表格和应用程序：

我在 Logtalk 中改编了本文的一些示例（我与作者在同一个研究组 - CRACS）：

（参见从第 63 行开始的代码）。

在 CRACS 网站 ( http://cracs.fc.up.pt )，您可以对其他几篇论文进行罚款。