[JoelMcCracken]

Can anyone recommend any implementation of Datalog (+ negation) that is not datomic?

I haven't tried datascript, which appears to support negation. Maybe I will try that if/when I revisit this interest someday.

[x775]

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.

[JoelMcCracken]

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

TY for the link to abcdatalog though!

[qeshi]

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

https://github.com/replikativ/datahike

[JoelMcCracken]

Cool, ty! Seems similar to DataScript.

[stingraycharles]

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

[felixyz]

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/

[riza_on]

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

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