Invia SMS: Symbolic computing with Lisp and prolog /