論理プログラミングの定石学ぶなら「〜の技芸」とか読んだ方が良いんじゃない?