Logic Programming : - Furukawa, Koichi (Logic programming)