Datalog in time and space, synchronously