Գրեք սա: Datalog in academia and industry