發送短信: Functional grammar in Prolog