發送短信 : Computational logic and ecological rationality