KELE基于逻辑引擎的知识方程

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