fail
MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
For current customers, we continue to provide
professional support for IF/Prolog until Dec 31, 2008.
この述語は、常に失敗します。true/0は、常に成功します。
"cut"の項で述べた"!, fail"の組み合わせで使われ、述語exception/2と共に使われます。 fail/0は、すべての解をバックトラックする必要がある場合にも便利です。
Up
read on...