prolog - プロローグ カット クエリ

Question

プロローグではカットを使用。次のクエリを実行すると、次の結果が返されるのはなぜですか。

?- !,false.
no

それでも、このクエリは次を返します。

?- !;false.
yes

Answer 1

最初のクエリは、! に対して AND を実行します。(常に yes を返す) と、常に no を返す false です。はい AND いいえ = いいえ。

2 番目のクエリでは、! 最初のブランチ、つまり ! に実行をコミットします。これは常に yes を返します。