新スレおめでとう。記念に推薦書を。

論理による問題の解法 ---Prolog入門 R.コワルスキ著 浦昭二監修 山田眞市,菊池光昭,桑野龍夫訳 培風館
1987年 ISBN4-363-00788-9 C3355 P5974E

これぞ神の本!