←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.206s | 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. chc4 ◴[04 Nov 25 23:10 UTC] No.45816960[source]▶
CodeQL compiles to the Souffle datalog engine and I use it for static analysis. I've also used ascent for a few random side projects in Rust which is very convenient.