この資料をSMS送信: Reasoning with logic programming / José Júlio Alferes, Luís Moniz Pereira.