Prologに入門する

プログラミングGaucheを読了したので、SICPにいくのかと思いきや、Prologに入門することにする。目的は2つあって、

• もうすぐPAIPでPrologのインタプリタを書くところに入るのですね。で、そこに書いてあることは書いてあるとおりにわかるんだけど、そもそもPrologがどんなものかを知らないので、Common Lispで書いたPrologインタプリタというのがどんなものなのか評価のしようがないのです。なのでPAIPをきっちり理解するためにPrologをやりたい。
  
• あいかわらず数理論理学はあやふやなまま。FOLをきっちり抑えてからPrologをやろうと思っていたが、この際順番を逆にしてみる。
  

ということ。

テキストは、

Learn Prolog Now! (ペーパーバック オンライン）

にする。(どちらも内容は同じ）

こつこつ。