>>19
なるほど、Pの評価によって再帰自体も制約されてしまうって事ですね
Prologはここまで考えないといけないのか…