どの節も使えなかったら?

もしどの節の選択条件も, みな成り立たないとわかったら, どうするのだろう. たとえば前掲の述語 not を `` not(3, X)'' のような引数で呼んだらど うなるのだろう. この場合はゴールの実行は 失敗 (failure) になり, プログラムは異常終了する.