Prolog Cut查询

Question

在Prolog中使用cut。为什么下面的查询结果会返回以下内容：

?- !,false.
no

然而，此查询返回以下内容：

?- !;false.
yes

Answer 1

第一个查询执行AND on！(它总是返回yes)和false，它总是返回no。yes AND no = no。

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