非決定性は導出の過程、取り分けバックトラックアルゴリズムと一体化しており、Prologプログラムの制御の根幹のひとつである.
Prolog