Αποστολή με SMS: Κατηγορηματική Λογική Πρώτης Τάξης και Λογικά Προγράμματα