Why choose KELE?
- Supports user-defined executable operators (operators are a concept in assertion logic; for ease of understanding, they can be analogized to functions in first-order logic. Executable operators can be analogized to meta-predicates in Prolog);
- Naturally supports term-level fact storage and reasoning;
- Supports equality axioms;
- Allows building nested composite terms among operators.