https://9dok.net/document/zx54737v-jcel-a-modular-rule-based-reasoner.html