Αποστολή με SMS: Άσκηση 6: Autoexecutable Goals, assert/retract και Τελεστές