发送短信 : Programing wiht higher order-logic