帰納論理プログラミングと関連トピックに関して紹介しています。
主なトピックは述語論理、決定木、Prolog、Progol、帰納論理のアルゴリズムと他のいろいろなアルゴリズム（制約論理プログラミング、確率論理プログラミング）との組み合わせに関してなど。
網羅的に関連トピックをいろいろ扱ってますが、サンプルコードがほとんどなく、これ読んで「ILPを作ろう」となると、ほとんど前に進めません。
よく論文にある、「～～の手法を使って問題を解決した。それまでのやり方ではこのくらいの時間がかかり、今回はこのくらいの時間でできました」みたいな書き方で「おい、その肝心の～～の実装方法が知りたいんだよ！そこをもっと詳しく！」と突っ込んでしまいます。
・文章多め
・数式少な目
・サンプルコードほとんどなし（手順だけ記載した擬似コードみたいなのが出てるがこれだと絶対作れない）
この本の著者は実際にプログラム作れる人・作っている人なんだろうか？と疑ってしまうような内容でした。
難しいこといろいろ書いてあるけど実装方法のヒントとしては得るものは少ないです。
おなじILPを実装の面から勉強するなら
「Prolog Programing for Artificial Intelligence 4th edition」のHyperのサンプルのほうがずっと良いです。
HyperだとILPのごくごく基礎的なことおさえただけだと思いますが…
本格的に実装方法学ぶのはAlephなどのコードを読むほうがずっと良いのだと思います。
定性的、概念的にILPを知りたい人は良いかもしれませんが、開発者にはおすすめしません。
これ読んでも作れるようにはなりません。
無料のKindleアプリをダウンロードして、スマートフォン、タブレット、またはコンピューターで今すぐKindle本を読むことができます。Kindleデバイスは必要ありません。
ウェブ版Kindleなら、お使いのブラウザですぐにお読みいただけます。
携帯電話のカメラを使用する - 以下のコードをスキャンし、Kindleアプリをダウンロードしてください。
