Haskellを使った論理プログラミングの方法.

関連サイト

著者のページ

翻訳書バグ報告