This week, we mull on an obscure programming language called Datalog and its outsized impact on the world