←back to thread

Optimizing Datalog for the GPU

(danglingpointers.substack.com)
106 points blakepelton | 1 comments | 04 Nov 25 14:31 UTC | HN request time: 0.378s | source
Show context
haolez ◴[04 Nov 25 16:05 UTC] No.45812510[source]▶
On a side note, what tools that leverage Datalog are in use by the HN crowd?

I know that Datomic[0] is very popular. I've also been playing with Clingo[1] lately.

[0] https://www.datomic.com/

[1] https://potassco.org/clingo/

replies(4): >>45812637 #>>45812964 #>>45816960 #>>45817369 #
1. jitl ◴[05 Nov 25 00:00 UTC] No.45817369[source]▶
For a while the Rust compiler's borrow checker "Polonius" was implemented with datalog using the `datafrog` engine. However, it appears to me that the in-tree version of polonius is moving away from datafrog (not enough of a rustc expert to say for sure which version of the borrow checker engine is in use)