Αποστολή με SMS: Declarative Programming and Knowledge Management