prologで人工知能（エキスパートシステム等の推論システム）の作り方、その他の応用(帰納論理プログラミング等)を学べる論文やサイト、おすすめの本(入門書以外)はありますか？
自分で探した結果、入門書や入門サイトがたくさん出てきましたが、それらは一通り目を通しました。具体的には「prologの技芸」「prolog techniques」等の本、「amzi! inc」というサイトで基本を学びました。現在はより応用的な経験を積みたいと思い、自分で推論システムを構築したり帰納論理プログラミングを行いたいと思っています。そこで参考になるような、中級者以上向けの難易度が高い内容を扱っている本やサイトをお願いします。