概览

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

快速入口

• 为什么选择 KELE？
• 安装
• 基本使用
• 示例
• 推理过程简介
• 使用手册