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ネタ
http://iiyu.asablo.jp/blog/2008/11/26/3975922
Lisp, Prologネタその２
で、名前を出した
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プログラミング入門の本
かと思っていた。
　第２章「論理と理論プログラミング」でも、意外に難しい話が出てきますが、
第６章「高度な話題」は、ほんとに高度で難しい話題。おれなんかが知らない
論理学の話がいろいろあった。I/O Booksでこんなに原理的、理論的な話が書
いてあるとは。
　Prologのベースにある論理学の話なんて要らんという人には、向かないかも。
でも、ベースは重要なんだけどね。
　第３章から第５章は、SWI-Prologを使ったPrologプログラミングで、これは
一転やさしいです。なにしろ、実際にプログラムコードが出てくるわけで、少
なくともおれには、やりたいこと、言いたいことがよくわかった。
　本書は、Prolog本として悪い本じゃなくていい本といいたい本だけど、全体
を通じて、記述が簡潔なので、ほかの本などで補わないと、これ１冊で独学だ
とつまづきやすいかもね。特にカットは、これだけじゃ、わからないでしょう
(まあ、実際にあれこれ処理系を動かしてやってみれば、わかるとは思うけど)。
　前述「Lisp, Prologネタ」「Lisp, Prologネタその２」で出したProlog関係
のリンクや、
http://www.amazon.co.jp/exec/obidos/ASIN/4320022378/showshotcorne-22/
Prologプログラミング入門 (単行本)
安部 憲広 (著)
http://www.amazon.co.jp/exec/obidos/ASIN/0201403757/showshotcorne-22/
Prolog Programming for Artificial Intelligence (International Computer
Science Series) (ペーパーバック)
Ivan Bratko (著)
を参考にしてください。