防止rel、事实和撤回之间的arity不匹配

Question

此补丁为关系、事实和撤回添加arity检查，以便如果用户在def-rel形式中指定关系"foo"应该是一个3元组，则将非法添加一个4元组作为数据库中的事实。这保护了数据库的状态，防止了用户错误地通过。

这更像是一个工作提案，因为可能会有一个具有变量arity的关系。我只是认为这样的构造可疑，而这个补丁支持我处理pldb的方法。

Answer 1

评论者：dnolen

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

Answer 2

评论者：norman

我们的大多数pldb关系有很多参数。能够提前检测不正确的声明将不是坏事。

Answer 3

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