prologは人気がないですね。深さ優先探索は無限ループしないと思っていたら スケジュール調整用のprologプログラムが無限ループしていたので驚きました。P:-P.が生じたり、副目標の順序を入れ替えるとループすることがあるようです。