发送短信: Functional grammar in Prolog