>>841
運行調整はPrologが苦手とするタイプの探索だろう。