prolog - Prolog ですべての関係を対称にするルールを作成するには?

Question

私が欲しいのは、私が定義するときです：

marriedTo(martin, annie).

また、次のことが当てはまります。

marriedTo(annie, martin).

私は次のことを試しましたが、それは（明らかに）無限ループです。

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

Prologでこれを行うにはどうすればよいですか?

Answer 1

結局、私はそれを理解しました：

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