prolog - 有界表

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) 上，您可以对其他几篇论文进行细化。