Prolog Cut Query

Question

Prologでカットを使用しています。なぜ以下を返すために、次のクエリの効果がある：

?- !,false. 
no 

まだこのクエリは次の値を返します。

?- !;false. 
yes 

Answer 1

最初のクエリは上のANDを実行します！ （常にyesを返します）、falseを返します。常にfalseを返します。はい、いいえ=いいえ。

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