ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://iiyu.asablo.jp/blog/2008/11/26/3975861
Lisp, Prologネタ
の続き。

　LISPで学ぶ認知心理学シリーズ。なんと第３巻がアマゾンに古本であります
ね。今朝、第１巻から第３巻までまとめ買いしている人がいて気づきました。^^;
http://www.amazon.co.jp/exec/obidos/ASIN/4130120239/showshotcorne-22/
LISPで学ぶ認知心理学 3
田中 穂積 (著)
　いま、4000円で出ているのは、「可」で状態が心配。「良い」のものはなん
と11,323円。ちょっと買えないなあ。まあ、今回はパスか。^^;

http://www.amazon.co.jp/exec/obidos/ASIN/4130120212/showshotcorne-22/
LISPで学ぶ認知心理学 1
安西 祐一郎 (著)
http://www.amazon.co.jp/exec/obidos/ASIN/4130120220/showshotcorne-22/
LISPで学ぶ認知心理学 2
安西 祐一郎 (著)

　それから、何度も紹介した「実践Common Lisp」。
http://iiyu.asablo.jp/blog/2008/09/22/3778844
実践Common Lisp正誤表
の続きというか、補足。オーム社の
http://www.ohmsha.co.jp/data/link/978-4-274-06721-1/
に、ダウンロードサービスがあります。

　さて、ここからはPrologネタだ。

http://www.amazon.co.jp/exec/obidos/ASIN/4320022378/showshotcorne-22/
Prologプログラミング入門 (単行本)
安部 憲広 (著)
を、昨日、ざっと読みました。
　これ、バックトラックとカットの説明は、ほんとしつこいくらい丁寧。
　これで、バックトラックとカットがわからなかったら、もう、Prolog止めた
方がいいです。^^;
　でも、バックトラックとカットの概念は、Prologに限らず出てくるんです。
特に探索では。Prologは言語の中にそれが最初から組み込まれているというだ
けのことで、だから、バックトラックとカットの概念がわからないなら、もう、
ICT業界やソフトで技術屋として飯を食うのは止めたほうがいいというくらい。
　著者の安部さんは、最初は鉛筆でしこしこ探索の状態を書いて、理解しろ
と書いています。そうです、そうです。最初はそうやって体に染み込ませない
と。体で覚えたら、あとは考えずに自動的にできるようになるもんね。
　それから、初めて知った言葉があった。
　「限嗣再帰法」
　まず、読み方、わかります？
　「げんしさいきほう」です。
　で、何のことか。
　実は、tail recursion。すなわち、末尾再帰です。
　ほぉ、こういう言い方してたのか。記憶に全然ない。かなりびっくりだし、
なんか、うれしい。
　本書は、25年以上昔の本だから、記法はDEC 10 Prologという懐かしい
Prologだけど、ほとんどいまのANSI Prologと変わらないから、これでも十分
勉強になるでしょう。
　でも、時代を感じるのは、いま(つまり当時)のPrologは組込述語が少ないと
か、数は整数しかない、それも巨大数、LispでよくいうBIGNUMもないなど、そ
ういうことが書いてあるの。いま(つまり現在)のPrologはすごいもんね。当時
の目でいまのPrologをみると、機能の豊富さにびっくりするでしょうね。数も
有理数も小数もあるし、文字もUnicodeサポートもあるし。

　もっと、本格的にPrologとAIの入門をやりたいなら、
http://www.amazon.co.jp/exec/obidos/ASIN/0201403757/showshotcorne-22/
Prolog Programming for Artificial Intelligence (International Computer
Science Series) (ペーパーバック)
Ivan Bratko (著)
です。第３版ですが、ぼく、これ、だいぶ、前に買って、ぽつぽつ読んでいま
した。
　もし買うなら、
http://iiyu.asablo.jp/blog/2008/11/24/3972714
洋書の値段って不思議
http://iiyu.asablo.jp/blog/2008/11/26/3975850
Re: 洋書の値段って不思議
の例にあるように、日本で買うかアメリカで買うかはたまたイギリスで買うか、
ご自分でもっともいいところから買ってください。

　翻訳はあるんですが、だいぶ古い第２版の翻訳です。
http://www.amazon.co.jp/exec/obidos/ASIN/476490165X/showshotcorne-22/
Prologへの入門 (PrologとAI) (単行本)
Ivan Bratko (著), 安部 憲広 (翻訳)
http://www.amazon.co.jp/exec/obidos/ASIN/4764902540/showshotcorne-22/
AIプログラミング (PrologとAI) (単行本)
Ivan Bratko (著), 安部 憲広 (翻訳), 田中 和明 (翻訳)

　「Prologへの入門」は、いま、古本で369円からですね。安っ！　後半の
「AIプログラミング」は、いま、古本で5786円から。トータル約6000円。
　アマゾンで、まげ店長さんが書いているように、第２版の翻訳だから、英語
が読める人は原書第３版でしょうね。
　しかし、驚くべきことに、原書はもう第４版を予約受付中。
http://www.amazon.co.jp/exec/obidos/ASIN/0321417461/showshotcorne-22/
PROLOG Programming for Artificial Intelligence (International Computer
Science Series) (ペーパーバック)
Ivan Bratko (著)
　しっかし、あなた。これ、発売予定が2009年8月です。ほんと、出るんかい
な。

　とかなんとかいってもね、海外は、PrologやLispやAIの本を、ちゃんと出し
続けているでしょ。この辺の差なんだよね。
　とかなんとかってもね、この前、書いたように日本でも、いまでもPrologと
AIの本が出たといった、
http://www.amazon.co.jp/exec/obidos/ASIN/4777514021/showshotcorne-22/
Prologで学ぶAIプログラミング―「論理プログラミング」「Prolog」の入門か
ら「人工知能」の基礎まで (I/O BOOKS) (単行本)
赤間 世紀 (著)
の目次がありました。
http://www.kohgakusha.co.jp/books/detail/978-4-7775-1402-1
Prologで学ぶAIプログラミングの目次
をどうぞ。

　高い本を買ってProlog入門なんかできんわいという人は、
http://iiyu.asablo.jp/blog/2008/01/02/2541270
Erlang, Oz/Mozart, Prolog, 単一化
http://iiyu.asablo.jp/blog/2008/02/07/2607997
Java版Prologリンク集、Prolog、オントロジーなどのチュートリアル集
で、講義資料や処理系のリンクがあるので、参考にしてください。
　フリーのものだと、SWI-Prologがよく講義などにも使われているようです。
http://www.swi-prolog.org/

　Prologの勉強資料に今回、新たに追加するのは、
http://www-wada.elcom.nitech.ac.jp/~inuzuka/SSHAIprogramming/
スーパーサイエンスハイスクール　「人工知能プログラミング」
です。すごいね、高校生でこれだけのことをやるんだ。さすがスーパーサイエ
ンスハイスクール。