Overview

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

Quick links

• Why choose KELE?
• Installation
• Basic Usage
• Examples
• Inference Overview
• Usage docs