ぼくは、ロジック（記号論理）と数学基礎論を学んだ経験があったということもあるのだろう、かなり昔のあるとき、自分が取り組むべきプログラミング言語は Prolog なのだと思い込んだ時期があったのだ。それなのに、2014年になった今頃、Prolog の入門書を読…