Prolog братья в бинарном дереве

[Gorgetr]

Определить,являются ли два заданные элементы дерева братьями

[rrrFer]

что есть "братья" в дереве?
какой диалект пролога?
сам решить пробовал?

[Gorgetr]

я так понял братья- это те листья, которые принадлежат одному корню, но не могу реализовать так как не хватает мозгов...Turbo prolog

[rrrFer]

все листья принадлежал одному корню

[Gorgetr]

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

[rrrFer]

я так и не понял что за братья, но как-то так, наверное:

% tree(Val, Left, Right)
p(A, B, tree(_, L, R)):-
  L = tree(A, _, _), R = tree(B, _, _),!;
  p(A, B, L), !; p(A, B, R).

не проверял, возможны опечатки, а может быть я не понял что есть братья

[Gorgetr]

спасибо огромное) но что такое p(L) и p(R) это предикаты? L и R это поддеревья?

[rrrFer]

спасибо огромное) но что такое p(L) и p(R) это предикаты? L и R это поддеревья?

это опечатки о которых я предупреждал, вроде бы исправил (но опять не проверял)

[Gorgetr]

проверяю щас запрос никак не могу придумать)

[Gorgetr]

работать то работает,только не понимаю че писать в Goal)