>と','や;の挙動が全然分かっていなかったので調べてみた。 true, fail, ! 述語 用例 動作 true/0 true 必ず成功する fail/0 fail 必ず失敗する(強制的にバックトレースを行う) !/0(カット) ! 必ず成功する。副作用としてカット以前にバックトレースできなく…