KELE: Knowledge Equations based on Logical Engine

Get Start Now View on Github

---

KELE是基于断言逻辑的前向式推理引擎，其实现了断言逻辑的一个子集。