←back to thread

Optimizing Datalog for the GPU

(danglingpointers.substack.com)
106 points blakepelton | 1 comments | | HN request time: 0.206s | source
Show context
haolez ◴[] 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 ◴[] 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.