Αποστολή με SMS: Undecidability results concerning Datalog programms and their persistency numbers.