3 ms·
Can anyone recommend any implementation of Datalog (+ negation) that is not datomic? I haven't tried datascript, which appears to support negation. Maybe I wil
by JoelMcCracken 8y ago
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.
- qeshi 8y agoCheck out Datahike aswell, if you are interested in a durable datalog database. https://github.com/replikativ/datahike https://github.com/replikativ/datahike
- JoelMcCracken 8y agoCool, ty! Seems similar to DataScript.
- stingraycharles 8y agoIt’s actually a port of Datascript — consider it a durable Datascript.
- x775 8y agoHi Joel. You can give http://www.dlvsystem.com/dlv/ http://www.dlvsystem.com/dlv/ a shot! Alternatively, if you prefer open-source solutions, check https://abcdatalog.seas.harvard.edu/ https://abcdatalog.seas.harvard.edu/. Due to a number of complications on my machine, I used DLV.
- JoelMcCracken 8y agoAh, I usually automatically pass on closed source solutions (hence my dislike for datomic). TY for the link to abcdatalog though!
- felixyz 8y agoIf 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/ http://des.sourceforge.net/
- riza_on 8y agoI have been playing with Souffle for my datalog-based static analysis project https://souffle-lang.github.io/docs/home/ https://souffle-lang.github.io/docs/home/