第3章にかなり時間かかっていますねー。まあ粛々と。帰納論理プログラミングの続きです 包摂関係 代入θ(ある変数に制約を加える)と節P,Q があり PθがQの部分集合ならPはQを包摂すると言う 伴意関係のかわりに用いられる(再帰がなければ同意で包摂関係のほう…