domains
s=symbol
predicates
parent(s,s)
male(s)
female(s)
father(s)
mather(s)
sister(s,s)
different(s,s)
clauses
parent(stepa,nastia).
parent(natasha,nastia).
parent(stepa,ira).
parent(natasha,ira).
parent(stepa,seresha).
parent(natasha,seresha).
male(stepa).
male(seresha).
female(natasha).
female(nastia).
female(ira).
father(X):-parent(X,_),male(X).
mather(X):-parent(X,_),female(X).
sister(X,Y):-parent(Z,X),parent(Z,Y),female(X),female(Y),different(X,Y).
different(X,Y):-not(X=Y).

1 Как понять {different(X,Y):-not(X=Y).}?
2 Почему когда запускается программа, Goal:sister(X,Y) the solution is 4; a когда {sister(X,Y):-parent(_,X),parent(_,Y),female(X),female(Y),different(X,Y).} Goal:sister(X,Y) the solution is 8?Why
3 Как писать, чтобы получить результат? Goal:sister(X,Y) the solution just like X=natia, Y=ira.