Hacker GitHub

← All repos

rust-lang/datafrog

View on GitHub ↗ ★ 908 Rust

A lightweight Datalog engine in Rust

9 mentions on Hacker News by 8 people: 1 story, 8 comments · first 2019-03-11 · latest 2026-01-07

Mentions per year 9 mentions · busiest year 2022 (4)
20082026
AllStoriesComments NewestTopOldest
  1. …maybe this still isn’t as elegant as you had in mind? Curious how this library compares for you. https://github.com/rust-lang/datafrog
    comment by vlovich123 · 2026-01-07 · in “Stop Designing Languages. Write Libraries Instead” (2016)
  2. ▲ 111
    Datafrog: A lightweight Datalog engine in Rust
    story by tosh · 2022-11-13 · 15 comments
  3. …galaxy brain. [blog]: https://github.com/frankmcsherry/blog/blob/master/posts/2018... [datafrog]: https://github.com/rust-lang/datafrog
    comment by jitl · 2022-11-09 · in Differential Datalog: a programming language for incremental computation
  4. What is the difference with https://github.com/rust-lang/datafrog ? It’s a Datalog engine written by Frank McSherry on top of differential dataflow, that’s used here also
    comment by karavelov · 2022-11-08 · in Differential Datalog: a programming language for incremental computation
  5. …compilation semantics. There is a reason why rust has a datalog engine build into the compiler ( https://github.com/rust-lang/datafrog ). Which is imho totally rad and awesome, but really hard to fully form a mental model of without a spec.
    comment by j-pb · 2022-08-08 · in MiniRust
  6. There's also a Datalog implementation at https://github.com/rust-lang/datafrog . The Polonius reimplementation of the Rust borrowchecker uses Datafrog: https://github.com/rust-lang/polonius/
    comment by JoshTriplett · 2021-10-23 · in Scryer Prolog: A modern Prolog implementation written mostly in Rust
  7. …still used by the compiler! [1] https://github.com/frankmcsherry/blog/blob/master/posts/2018... [2] https://github.com/rust-lang/datafrog [3] https://crates.io/crates/polonius-engine
    comment by akiselev · 2021-06-17 · in Differential Dataflow for Mere Mortals
  8. Also see https://github.com/rust-lang/datafrog .
    comment by JoshTriplett · 2019-04-01 · in Modern Prolog Implemented in Rust
  9. …defines the Rust borrow checker as Datalog rules, and went from differential dataflow to datafrog ( https://github.com/rust-lang/datafrog ). 4. If you want to check out other incremental Datalog environments, in addition to IncA, there are…
    comment by frankmcsherry · 2019-03-11 · in The Essence of Datalog (2018)