Αποστολή με SMS: Foundations of inductive logic programming