У меня возникли проблемы с пониманием того, почему мой код в прологе делает что-то, основанное на порядке, в который я помещаю свои правила.
Вот моя база данных:
parent(tom, bob).
parent(tom, liz).
parent(mary, bob).
parent(mary, liz).
male(tom).
male(bob).
female(mary).
female(liz).
И вот правила:
%difference(X, Y) ==> Predicate to check if two people X and Y are not the same person.
difference(X, Y) :- \==(X, Y).
father(X, Y) :- male(X), parent(X, Y), difference(X, Y).
mother(X, Y) :- female(X), parent(X, Y), difference(X, Y).
sibling(X, Y) :-
difference(X, Y),
mother(M, X), mother(M, Y),
father(F, X), father(F, Y).
Проблема в том, что когда я это делаю,
?- sibling(bob, X).
Я получаю
X = bob ;
X = liz ;
false.
Но когда я меняю порядок (положим разницу (X, Y) в последней части)
sibling(X, Y) :-
mother(M, X), mother(M, Y),
father(F, X), father(F, Y),
difference(X, Y).
и я вызываю
?- sibling(bob, X).
Я получаю
X = liz;
false.
что я хочу.
До сих пор я только видел, что упорядочение правил имеет значение при выполнении рекурсии. Поэтому я не понимаю, как боб все еще является родным братом самого себя, потому что я сначала поставил разницу.
Спасибо за любую помощь!