防范 relations、事实和撤回操作之间的参数个数不匹配问题

Question

本补丁为relations、facts和retractions添加了参数个数检查，因此当用户在def-rel形式中指定rel "foo"应为3元组时，向数据库添加4元组事实将是不合法的。这保护了数据库状态，防止一类用户错误在无声中失败。

这更像是工作提案，因为很可能存在可变参数个数的relation。我只是会暂时怀疑这样的结构，此补丁支持我处理pldb的方式。

Answer 1

评论者：dnolen

有趣，感谢您的补丁。我会考虑的。

Answer 2

评论者：norman

我们许多pldb relations有大量的参数。能够提前检测声明的错误将不会是坏事。

Answer 3

参考：https://clojure.atlassian.net/browse/LOGIC-164 (由arrdem报告)