发送短信: Knowledge representation, reasoning, and declarative problem solving