If you wish to use Datalog and Rust, cozodb is written in Rust and has a Datalog query syntax.
Yes, Cozodb has mostly worked as documented for me and been a pleasure to work with (also for program static analysis, also using sorted trees and type-fu internally). The docs have enough for an initial comparison with the blog walk-through, esp. interesting work on optimizing queries. But if you're not working in-memory in rust, data serialization is costly, and the project is quiet at best.
Cozodb seems cool but also inactive. I poked around about in November 2024 and found some low hanging fruit in the sqlite storage backend: https://github.com/cozodb/cozo/issues/285