s-arash/ascent
Logic programming in Rust
▲ 1 hacker recommends Rust ★ 592 MIT datalogdeclarative-languagelatticelogic-programmingrust
Recommended between 2025-11-06 and 2025-11-06. Last pushed 2026-08-29.
▲ 1 recommend · ▼ 0 criticisms
What hackers say
“I had worse performance with Soufflé than Ascent for my program”
— arxanas, 2025-11-06 · original comment on Hacker News ↗
show original comment
…r programs whereas I might not (see above GitHub discussion). Non-specifically: - Several features like generative clauses, user-defined aggregations, lattices, etc. seem convenient in practice. - I had worse performance with Soufflé than Ascent for my program for some query-planning reason that I couldn't figure out. I don't really know why; see https://github.com/souffle-lang/souffle/discussions/2557
Badge for your README
[](https://hackerrepos.org/repo/s-arash/ascent)