Seol mar théacs é seo: MeTeoR: practical reasoning in datalog with metric temporal operators