Comment by blakepelton

I found this to be a great introduction to Datalog solving generally. Here is my summary: https://danglingpointers.substack.com/p/optimizing-datalog-f...