強制的に失敗させる。
fail/0 は常に失敗する。強制的にバックトラックを起こすこともできる。
fail/0 に続く連言サブゴール は、実行されない。
無限ループの後で、fail/0をコールするのは注意すべきである。
(関連 repeat/0).
| write('this is going to fail'), fail. | 現在出力ストリームに 'this is going to fail'を出力して、失敗。 |
| repeat,write(endless),nl,fail. | 現在出力ストリームに 'endless'を無限に出力する。 |
この述語は、 ISO-Prolog 標準に含まれる。