如何在Prolog中创建一个使所有关系对称的规则？

Question

我想要的是我定义:

marriedTo(martin, annie).

它还使以下成立:

marriedTo(annie, martin).

我尝试了以下内容,但它(显然)是一个无限循环.

marriedTo(X,Y) :- marriedTo(Y,X).

我怎么在Prolog中这样做？

Answer 1

解决它的最简单方法是:

marriedTo(martin, annie).
...
married(X,Y) :- marriedTo(X,Y).
married(X,Y) :- marriedTo(Y,X).

然后还有很多其他的方法,实现和语义来解决无限递归的问题......

Answer 2

我终于明白了：

marriedTo(X,Y) :- marriedTo(Y,Z), X = Z, !.