>>30
SWI-Prologでやったら、ちゃんとスーが蛇をたべたよ。
関係ないかもしれないけど、eatsの定義が分離しているから、くっつけてみたら?