prolog - 将语句转换为序言代码

Question

嘿
我正在尝试将以下语句转换为序言代码，但是不确定是否正确执行了。

1-每个尊重自己的人都会受到他人的尊重:

   respects(x,respects(x)) :- respects(y,x)).

2-约翰尊重自己:

respectsherself(john).
respects(john,respectsherself(john)).

谢谢

Answer 1

在序言中，变量必须以大写字母开头，因此请注意这一点。

每个尊重自己的人都会受到他人的尊重。我认为您需要一些基本事实，例如谁尊重谁。然后，您可以声明一个规则，该规则表示X尊重他人意味着X尊重自己。

 respects(john, mary). %john respects mary
 respects(john, john). %john respects himself
 respects(X, Y) :- respectedbyothers(Y). %X respects Y if Y is respected by others
 respectedbyothers(X):-respects(X, X).