如何创建一个规则，使 Prolog 中的所有关系对称? [英] How to create a rule that makes all relations symmetric in Prolog?

问题描述

我想要的是什么时候定义:

What I want is when I define:

marriedTo(martin, annie).

它还使以下内容为真:

marriedTo(annie, martin).

我尝试了以下方法，但它(显然)是一个无限循环.

I have tried the following, but it's (obviously) an infinite loop.

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

我将如何在 Prolog 中执行此操作?

How would I do this in Prolog?

推荐答案

我终于想通了:

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

这篇关于如何创建一个规则，使 Prolog 中的所有关系对称?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！