A lightweight Datalog engine in Rust
Datafrog is a lightweight Datalog engine intended to be embedded in other Rust programs.
Datafrog has no runtime, and relies on you to build and repeatedly apply the update rules.
It tries to help you do this correctly. As an example, here is how you might write a reachability
query using Datafrog (minus the part where we populate the nodes and edges initial relations).
…If you'd like to read more about how it works, check out this blog post.
Datafrog was initially developed by Frank McSherry and was later transferred to the rust-lang-nursery organization. Thanks Frank!
No open issues yet, or sync has not completed.