Простая логическая задача на Prolog

PREDICATES
   name(symbol)
   sobirali(symbol)
   gribjagod(symbol,symbol)
   solution(symbol,symbol,symbol,symbol,symbol,symbol)
 
CLAUSES
   name(Olya). name(Lena). name(Masha).
   sobirali(griby). sobirali(yagody).
   gribjagod(X,Y):-
     name(X),sobirali(Y),X=Olya,not(Y=yagody);
     name(X),sobirali(Y),X=Masha,not(Y=yagody);
     name(X),sobirali(Y),X=Lena,not(Y=griby).
   
   solution(X1,Y1,X2,Y2,X3,Y3):-
        name(X1),name(X2),name(X3),
        sobirali(Y1),sobirali(Y2),
        gribjagod(X1,Y1),gribjagod(X2,Y2), gribjagod(X3,Y3),
        Y1<>Y2,Y2<>Y3,Y1<>Y3,
        X1<>X2,X2<>X3,X1<>X3,!.

PREDICATES
   sobirali(symbol,symbol,symbol)
   gribjagod(symbol,symbol,symbol)
   solution (symbol,symbol,symbol)
CLAUSES
   sobirali(yagody,griby,griby).
   sobirali(griby,yagody,griby).
   sobirali(griby,griby,yagody).
 
   gribjagod(Olya,Masha,Lena):- sobirali(Olya,Masha,Lena),
                Olya<>Lena,Masha<>Lena.
   
   solution(Olya,Masha,Lena):-gribjagod(Olya,Masha,Lena).
GOAL 
 solution(Olya,Masha,Lena),
 write("Olya="),write(Olya),nl,
 write("Masha="),write(Masha),nl,
 write("Lena="),write(Lena).