バックトラック

「バックトラック」でぐぐってみたのだけど、概念としてはごく一般的なものらしい。恥ずかしながら知らなかった。一般的過ぎて日常的には特に意識することがない概念であるように思う。Prolog では意識せざるを得なかった概念なんだけど。
参照
→IT用語辞典 e-Words ： バックトラック法とは 【back-tracking method】　─　意味・解説
→代入とバックトラック