Prolog 中的复合布尔表达式

Question

在 Prolog 中，如何实现复合逻辑谓词（A 和 B）或（C 和 D）？

这似乎是一个简单的问题，但许多平易近人的在线教程对布尔表达式的描述不够详细。我认为你不能只写：

test(A, B, C, D) :- cond(A), cond(B); cond(C), cond(D).

那么你会怎么做呢？

Answer 1

正如其他人所指出的，您的原始示例

test(A, B, C, D) :- cond(A), cond(B); cond(C), cond(D).

完全有效（假设解析符合您的预期）。你没有尝试过吗？

入门

逻辑与

foo :- a , b .

逻辑或

foo :- a ; b .

组合

foo :- a , b ; c , d .

上面的解析为：

foo :- ( a , b ) ; ( c , d ) .

使用括号表示不同的所需绑定：

foo :- a , ( b ; c ) , d .

偶数更好的是，避免使用 ; OR 运算符并将替代项分解为单独的子句。序列比分支树结构更容易让人理解。将交替分解为多个子句可以简化测试/调试并提高理解力。因此，

foo :- a , b .
foo :- c , d .

更

foo :- a , b ; c , d .

喜欢和

foo :- a , bar , d .

bar :- b .
bar :- c .

更

foo :- a , ( b ; c ) , d .

喜欢可能最重要的是，像这样将事情分成多个子句使得以后的维护更容易。结构如下：

foo :- a , b ; c , d .

添加另一个案例时你会做什么？当它扩展到 50 个替代方案时会怎样？

每个额外的替代方案都会增加通过该子句的代码路径的数量，从而使测试和理解变得更加困难。为了在测试中获得完整的代码覆盖率，必须单独测试许多替代路径。

使用等效结构，

foo :- a , b .
foo :- c , d .

添加替代项只需添加一个或多个附加子句，每个子句都可以单独测试。

专业程序员首先为几年后需要理解、更改和修复代码的人编写代码（提示：那个人可能就是你自己）。

Answer 2

连接词的一个简单替代方法是使用子语句。对于析取，请使用多行。你的例子：

test(A, B, C, D) :- test1(A, B).
test(A, B, C, D) :- test2(C, D).
test1(A, B) :- A, B.
test2(C, D) :- C, D.

（A或B）和（C或D）怎么样？

other(A, B, C, D) :- other1(A, B), other2(C, D).
other1(A, B) :- A.
other1(A, B) :- B.
other2(C, D) :- C.
other2(C, D) :- D.

请注意，这只是作为 joel76 答案的替代方案而提到的。

Answer 3

测试（A，B，C，D）：-（条件（A），条件（B））； （条件（C），条件（D））。