Stav dette: Datalog in academia and industry