Αποστολή με SMS: Foundations of Disjunctive Logic Programming