Last released Oct 8, 2026
A dependency-free Python rule language with forward and backward reasoning and checkable proofs.