この資料をSMS送信: Logic programming : 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009 ; proceedings / Patricia M. Hill, David S. Warren (eds.).