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

Question

此补丁为关系、事实和撤回添加了arity检查，因此如果用户在def-rel形式中指定rel "foo"应为三元组，那么将无法将四元组添加到db中作为事实。这保护了数据库的状态，防止用户错误地悄然失败。

这更像是工作提议，因为这个变量arity关系可能是合法的。我只是会认为这样的构造是有问题的，并且这个补丁支持我处理pldb的方法。

Answer 1

评论者：dnolen

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

Answer 2

评论者：norman

我们的大部分pldb关系有很多参数。能够及早检测到错误的声明将不会是坏事。

Answer 3

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