Show HN: AnamDB – An AI-native, differentiable Datalog engine written in Rust