All the dusty corners of the internet keep citing that 'the real way to learn datalog is to write a datalog' so here i am. Also I haven't found an implementation with a good REPL that also supports nice features.