Text this: A Differential Datalog Interpreter