Anfonwch hwn fel neges destun: MeTeoR: practical reasoning in datalog with metric temporal operators