Hacker News Reader

Hi Joel.

You can give http://www.dlvsystem.com/dlv/ a shot!

Alternatively, if you prefer open-source solutions, check https://abcdatalog.seas.harvard.edu/.

Due to a number of complications on my machine, I used DLV.

Ah, I usually automatically pass on closed source solutions (hence my dislike for datomic).

TY for the link to abcdatalog though!

Check out Datahike aswell, if you are interested in a durable datalog database.

https://github.com/replikativ/datahike

Cool, ty! Seems similar to DataScript.

It’s actually a port of Datascript — consider it a durable Datascript.

If you're interested in experimenting with Datalog rather than necessarily writing something for production, have a look at Datalog Educational System: http://des.sourceforge.net/

I have been playing with Souffle for my datalog-based static analysis project

https://souffle-lang.github.io/docs/home/