Преобразуйте заявления в код пролога

Question

Эй Я пытаюсь преобразовать следующие утверждения в код пролога, но я не уверен, правильно ли я это сделал.

1 - всех, кто уважает себя, уважают другие:

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

2-Джон уважает себя:

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

Спасибо

Answer 1

В прологе переменные должны начинаться с заглавной буквы, так что следите за этим.

Все, кто уважает себя, уважаются другими. Я думаю, что вам нужны некоторые основные факты, например, кто кого уважает. Тогда вы можете объявить правило, которое гласит, что Х уважают другие, подразумевается, что Х уважает Себя.

 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).

Answer 2

Оптимизация:% респектов (A, B) означает, что A соблюдается B респектами (john, john).уважает (X, _): - уважает (X, X).?

Разве ты не любишь пролог :))