發送短信 : Distributed problem solving in mozart :