探索の一般的手続き
探索木を，問題の初期状態にする．
loop
if (この状態から展開できない） return(失敗)
探索の戦略を元に，展開する子ノードを選ぶ．
if （その子ノードがゴール状態を含む）
return（解を返す）
さもなくばその子ノードを展開し，その結果を探索木に付け加える．
end
前のｽﾗｲﾄﾞ
次のｽﾗｲﾄﾞ
最初のｽﾗｲﾄﾞに戻る
ｸﾞﾗﾌｨｯｸｽの表示