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