發送短信: Complexity and Expressive Power of Disjunctive Logic Programming