この資料をSMS送信: A 25-Year Perspective on Logic Programming