KELE: Knowledge Equations based on Logical Engine

Get Start Now View on Github

KELE is a forward-chaining reasoning engine based on Assertion Logic, which implements a subset of Assertion Logic.