可以添加到clips规则引擎中的最大事实数是多少？

Question

我正在构建一个包含Clips规则引擎的块，我的代码块的顶层是android(java代码)，我有本机代码，它可以在"CLIPS4Android“模块的帮助下与clips引擎对话。

https://github.com/gomezgoiri/CLIPS4Android

让我们假设我只是打开规则引擎(从java创建环境)。当我用一些值添加第一个事实(来自java)时，这个事实编号为<1>。由于CLIPS4Android不支持修改，所以当需要修改事实时，我需要撤回事实，然后再添加其他值。现在这个事实被编号为<2>。

如果我多次这样做，我就能达到事实的极限。

我的问题是，如果有限制的事实，我可以添加到我的规则引擎，如果是的，它是什么？如果没有限制的话，在我达到最大的事实数之后会发生什么(我知道在android上整数的最大值是2,147,483,647，当我加上++时，它会变成-2,147,483,647。

Answer 1

CLIPS 6.3及更高版本中的事实索引使用长整数表示。这使事实指数的最大值为9,223,372,036,854,775,808。如果你每秒修改十亿个事实，那就需要近三个世纪的时间才能把事实指数包装起来。

按事实索引进行搜索是线性的，所以最好花一些时间在CLIPS4Android中添加对修改函数的支持。

Answer 2

来自CLIPS基本手册，2.4.1 Facts

“事实清单中的事实数量和可以存储在事实中的信息量仅受计算机内存的限制。”