Question

请考虑以下代码：

a(X) :- b(X),!,c(X),fail.
a(X) :- d(X).

b(1).
b(4).
c(1).
c(3).

d(4).

查询a(X).生成

1 ?- a(X).
false.

2 ?-

但是使用此代码

a(X) :- b(X),!,c(X).
a(X) :- d(X).

b(1).
b(4).
c(1).
c(3).

d(4).

查询a(X).会导致：

1 ?- a(X).
X = 1.

所以我的问题是，为什么fail/1会产生错误？它应该强制回溯，对吧？我认为会检查b(1)和c(1).，为什么会失败呢？

Answer 1

失败，因为fail 必须失败。

剪切删除了替代品，然后禁止通过X绑定“返回”的值。尝试

a(X) :- b(X),c(X),fail.
...

你会得到

?- a(X).
X = 4.

Answer 2

正如@CapelliC所说，a(X) :- b(X),!,c(X),fail. 的规则必须失败，因为他有fail个组件。

在第一个代码示例中 - 检查从1开始，组件b(1)满意，之后它到达!，因此不再执行可选检查。

有关cut的更多说明，您可以检查将!放在a(X) :- b(X),!,c(X),fail.的末尾

像这样 -

a(X) :- b(X),c(X),fail,!.
a(X) :- d(X).

b(1).
b(4).
c(1).
c(3).

d(4).

现在 -

?- a(X).
X = 4.

由于fail位于!之前，因此! 无法访问，因此cut不会影响另一个可选的帐户。

修改：

fail仅与他在那里写的规则相关，因此a(X) :- b(X),c(X),fail,!.将永远导致失败，而不是a(X) :- d(X).规则。

Answer 3

示例：

a(X):- b(X),!,fail. %is the same as \+ a(X):- b(X).

“！”的合并和“失败”会给您 a（X）的负数。

它称为否定否定。

Answer 4

a(X) :- b(X),c(X),fail.
a(X) :- d(X).

b(1).
b(4).
c(1).
c(3).

d(4).

a(X). 
X = 4


a(X) :- b(X),!,c(X).
a(X) :- d(X).

b(1).
b(4).
c(1).
c(3).

d(4).

a(X).
X = 1

a(X) :- b(X),!,c(X),fail.
a(X) :- d(X).

b(1).
b(4).
c(1).
c(3).

d(4).

a(X).
false

Prolog中的剪切和失败

4 个答案: