プロローグで、強制的に失敗させることは可能ですか? 何かのようなもの：
check(F,A,[1,2,3]) :- FAIL.
check(F,A,_) : greater_than(F,A).
これは悪い例かもしれませんが、これに沿ったものです。
したがって、F,A,[1,2,3] でパターン マッチを行う場合は、who 統合プロセスを停止し、false を返します。
1589 次
プロローグで、強制的に失敗させることは可能ですか? 何かのようなもの：
check(F,A,[1,2,3]) :- FAIL.
check(F,A,_) : greater_than(F,A).
これは悪い例かもしれませんが、これに沿ったものです。
したがって、F,A,[1,2,3] でパターン マッチを行う場合は、who 統合プロセスを停止し、false を返します。
Prolog には組み込みのfail/0述語があり、これは常に失敗します。同じルール!のさらなる一致を防ぐために、その前にカットが必要です。check/3
check(F,A,[1,2,3]) :- !, fail.