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

Question

此补丁为关系、事实和撤回添加了参数检查，以便当用户指定在 def-rel 形式中关系 "foo" 应为三元组时，将无法将四元组添加到数据库中。这可以保护数据库状态，防止用户错误导致的静默失败。

这更像是一个工作提案，因为这完全可能有一个可变参数数量的关系。我只会认为这样的结构是可疑的，而这个补丁支持我处理 pldb 的方式。

Answer 1

评论者：dnolen

很有趣，感谢这个补丁。我会认真考虑。

Answer 2

评论者：norman

我们的大部分 pldb 关系都有大量参数。能够在早期检测到不正确的声明将不会是坏事。

Answer 3

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