родитель(Марья, Петр).
родитель(Марья, Иван). и т.д.
Запрос к базе данных имеет вид
?-q(X, Y).

[Кто, брат, Ивана, ’?’]
[Чей, брат, Пётр, ’?’]
[Иван, брат, Петра, ’?’]

predicates
nondeterm q(string, string)

facts

parent(string,string)

clauses

parent("Masha","Ivan").

parent("Masha","Petr").

parent("Dasha","Fedr").

parent("Dasha","Cenya").

q(X,Y):-parent(Z,X),parent(Z,Y),X<>Y.

goal

%1 q("Ivan",Y).
%2 q("Petr",Y).

%3

q("Ivan","Petr").