Datalog references that I like

[RAbraham]

Hi, I love your depth in collecting references both in this repo and another.

In response to your twitter message, about other datalog literature.

If you are interested in current Datalog Implementations as extensions/reframes in design to classic Datalog:

• https://github.com/vmware/differential-datalog
• Datomic(https://docs.datomic.com/on-prem/query.html) which is an enterprise product but there is DataScript and DataHike
• https://github.com/karmaresearch/vlog
• LogicBlox(Enterprise. http://www.cs.ox.ac.uk/dan.olteanu/papers/logicblox-sigmod15.pdf) but perhaps good design lessons
• Dyna( Datalog for AI). http://www.cs.jhu.edu/~nwf/datalog20-paper.pdf
• Flix(https://flix.dev/#/). JVM Language, which I think, extends the Datalog idea with lattices.

I'm not on my personal laptop right now, but if I find anymore interesting stuff, I'll share here.

[prathyvsh]

Hey Rajiv,

Thank you for the kind comment. And I love what you are doing with Mercylog.

These definitely looks like a cool list. Let me go through these and I’ll incorporate them after examining them closer. Thank you so much for sharing these!

[RAbraham]

I like this one too: https://www.researchgate.net/publication/327854087_Datalog_concepts_history_and_outlook