Αποστολή με SMS: Logical Foundations of Artificial Intelligence