Prolog割算子行为_Prolog_Behavior_Clause_Prolog Cut

Prolog割算子行为

prolog

Prolog割算子行为,prolog,behavior,clause,prolog-cut,Prolog,Behavior,Clause,Prolog Cut,我有以下条款： a(1). a(2). b(a). c(A,B,C) :- a(A),d(B,C). c(A,B,C) :- b(A),d(B,C). d(B,C) :- a(B),!,a(C). d(B,_) :- b(B). 当我运行查询c（X，Y，Z）时，答案是： X = 1, Y = 1, Z = 1 ; X = 1, Y = 1, Z = 2 ; X = 2, Y = 1, Z = 1 ; X = 2, Y = 1, Z = 2 ; X = a, Y = 1, Z = 1 ; X =

我有以下条款：

a(1).
a(2).
b(a).
c(A,B,C) :- a(A),d(B,C).
c(A,B,C) :- b(A),d(B,C).
d(B,C) :- a(B),!,a(C).
d(B,_) :- b(B).

当我运行查询c（X，Y，Z）时，答案是：

X = 1, Y = 1, Z = 1 ;
X = 1, Y = 1, Z = 2 ;
X = 2, Y = 1, Z = 1 ;
X = 2, Y = 1, Z = 2 ;
X = a, Y = 1, Z = 1 ;
X = a, Y = 1, Z = 2.

所以基本上，切割操作符（在这里d（B，C）：-a（B），！，a（C）忽略了最近的选择点，也就是说，它不会进一步搜索d（）和a（）。我认为，削减忽略了所有以前的选择点，不会做任何回溯

有人能解释一下确切的行为吗？为什么我错了？

因为我没有立即理解你对切割操作的解释，所以我查看了你的代码。我的阅读大致如下：

1. Kills off the parent choice-point
2. Commits to all the choices made going through the rule

c（A，B，c）

在以下情况下为真：

```
a（a）
```
和
```
d（B，C）
```
或
```
b（A）
```
和
```
d（b，C）
```

```
d（B，C）
```
在
```
a（B）
```
时为真，但仅适用于您遇到的第一个
```
a（B）
```
，不要在下面查找任何其他
```
d（B，C）
```
定义

我的阅读是这样的，因为我对切割的解释是：在遇到这个谓词体中的切割之前，提交所做的选择，并在包含切割的子句下面放弃这个谓词的子句

我希望这至少有一点帮助。

因为我没有立即理解您对剪切操作的解释，所以我查看了您的代码。我的阅读大致如下：

1. Kills off the parent choice-point
2. Commits to all the choices made going through the rule

c（A，B，c）

在以下情况下为真：

```
a（a）
```
和
```
d（B，C）
```
或
```
b（A）
```
和
```
d（b，C）
```

```
d（B，C）
```
在
```
a（B）
```
时为真，但仅适用于您遇到的第一个
```
a（B）
```
，不要在下面查找任何其他
```
d（B，C）
```
定义

我的阅读是这样的，因为我对切割的解释是：在遇到这个谓词体中的切割之前，提交所做的选择，并在包含切割的子句下面放弃这个谓词的子句

我希望这至少有点帮助。

我读了一些书，剪辑如下：

1. Kills off the parent choice-point
2. Commits to all the choices made going through the rule

因此：

1. d(B,_) :- b(B). is not explored
2. B in d(B,C) :- a(B),!,a(C). is irrevocably bound to 1.

我读了一些书，剪辑如下：

1. Kills off the parent choice-point
2. Commits to all the choices made going through the rule

因此：

1. d(B,_) :- b(B). is not explored
2. B in d(B,C) :- a(B),!,a(C). is irrevocably bound to 1.