为什么选择 KELE？

1. 支持用户自定义可执行算子（算子是断言逻辑中的概念，为理解方便，此处可以类比一阶逻辑的函数。可执行算子可以类比 Prolog 中的元谓词）；
2. 自然地进行项级别的事实存储和推理；
3. 支持等词公理；
4. 允许算子间构建嵌套的复合项。