この本は電総研に入る前に Prolog を勉強するのに買った本です。論理推論の形が容易にプログラムできる Prolog はほかの言語とはだいぶ違っていて面白かったです。LISP は和田先生の講義がありましたが、Prolog の講義があったかどうかはあまり記憶にはあり…