在 Prolog 中表达“交换性”的替代方案？

作为一个Prolog的初学者，我发现Prolog中的交换表达式非常不直观。

例如，如果我想表达 X 和 Y 属于一个家庭，例如：

family(X,Y) :-
      married(X,Y);
      relative(X,Y);
      father_son(X,Y).

我还应该在定义中添加以下内容，以使其“可交换”：

      married(Y,X);
      relative(Y,X);
      father_son(Y,X).

但是我们使用 Prolog，因为我们想编写优雅的代码...所以，我希望在原始代码中只添加一行（而不是上面的三行）：

      family(Y,X).

这是要点。它会导致终止！为什么序言没有那么“合乎逻辑”？除了这种简洁的一行表达式之外，是否有一种不会导致终止的替代方法？

周末愉快！ 瓦

问题在于family(X,Y) :- family(Y,X).该规则的一部分是它在每个级别上都保持无条件地与自身统一，并不断向下递归；此递归没有退出条件。

您应该在以下级别进行参数交换above:

family(X,Y) :-
    is_family(X,Y);
    is_family(Y,X).

is_family(X,Y) :-
    married(X,Y);
    relative(X,Y);
    father_son(X,Y).

或者，您可以制定基本规则below有意义的地方是对称的：

is_married(X,Y) :-
    married(X,Y);
    married(Y,X).

is_relative(X,Y) :-
    relative(X,Y);
    relative(Y,X).

你现在可以重写你的family规则如下：

family(X,Y) :-
    is_married(X,Y);
    is_relative(X,Y);
    father_son(X,Y);
    father_son(Y,X).