この資料をSMS送信: The DLV System for Knowledge Representation and Reasoning