Αποστολή με SMS: Symbolic computing with Lisp and Prolog