发送短信 : Processing declarative knowledge :