本文介绍了如何创建一个规则,使 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 中的所有关系对称?的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持!