論理プログラミング

バックトラッキング

検索木の分岐が失敗したときに戻って、すべての可能な解を体系的に探索する検索メカニズム。

← 戻る