next フィールドで、同じ優先度を持つゴール同士で線型リストを 作る。よって、実行中には、一般的に複数のゴールのリストが作成される。 そのうち一本は、大域情報のcurrent_queueに置かれ、「実行対象」になる。 実行時には、このリストはLIFO的に扱われる。つまり、先頭より順に実行対象となり、 エンキューも先頭になされる。
