prolog - 在 Prolog 中表达 "Commutativity"的替代方法？

Question

作为 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).

这是要点。它会导致终止!为什么序言没有那么“合乎逻辑”？是否有替代这种不会导致终止的简洁的单行表达式？

周末愉快!
瓦

Answer 1

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

您应该在上面的级别进行参数交换:

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).

或者，您可以在有意义的地方制定低于对称的基础规则:

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).