Seol mar théacs é seo: Datalog in academia and industry