Zaslat SMS: MeTeoR: practical reasoning in datalog with metric temporal operators