Prolog剪切查询

Question

在Prolog中使用剪切。为什么以下查询的效果会返回以下内容：

?- !,false.
no

但此查询返回以下内容：

?- !;false.
yes

Answer 1

第一个查询执行AND！ （总是返回yes）和false，总是返回no。是和否=否。

在第二个查询中，！将执行提交到第一个分支，即！，它总是返回yes。