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