prolog - Prolog 剪切查询

Question

在 Prolog 中使用剪切。为什么下面查询的效果返回如下：

?- !,false.
no

但此查询返回以下内容：

?- !;false.
yes

Answer 1

第一个查询在 ! （总是返回yes）和false，总是返回no。是且否 = 否。

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