この資料をSMS送信: Complexity and Expressive Power of Disjunctive Logic Programming