Hacker GitHub

← All repos

s-arash/ascent

View on GitHub ↗ ★ 596 Rust

Logic programming in Rust

5 mentions on Hacker News by 4 people: 0 stories, 5 comments · first 2022-11-14 · latest 2025-11-06

Mentions per year 5 mentions · busiest year 2024 (2)
20082026
AllStoriesComments NewestTopOldest
  1. …problems than you have! So my feedback might not be as relevant I wrote detailed commentary here: https://github.com/s-arash/ascent/discussions/72 Re Rust bindings and your specific comment: - Deploying Soufflé and doing FFI is much more…
    comment by arxanas · 2025-11-06 · in Optimizing Datalog for the GPU
  2. …getting ever increasingly more popular. See: - The fastest non-incremental embedded Datalog engine https://github.com/s-arash/ascent - The state-of-the-art non-embedded and non-incremental Datalog engine https://github.com/knowsys/nemo - A…
    comment by rebanevapustus · 2024-10-13 · in Can logic programming be liberated from predicates and backtracking? [pdf]
  3. …Here are three accurate and sound Datalog implementations: 1: https://github.com/ekzhang/crepe 2: https://github.com/s-arash/ascent 3: https://github.com/brurucy/micro-datalog
    comment by rebanevapustus · 2024-01-22 · in Datalog in 100 lines of JavaScript (2022)
  4. …Datalog engine in Rust, it would be cool to benchmark your results against parallel Ascent ( https://github.com/s-arash/ascent ).
    comment by kmicinski · 2023-12-04 · in GDlog: A GPU-accelerated deductive engine
  5. …look at Ascent [1]. I love the way it embeds Rust seamlessly. It's like JSX for Datalog/Rust. [1]: https://github.com/s-arash/ascent
    comment by sinistersnare · 2022-11-14 · in Datafrog: A lightweight Datalog engine in Rust