Αποστολή με SMS: Από τη λογική στο λογικό προγραμματισμό και την Prolog