Загадка с GNU Prolog, похожая на Эйнштейна Риддла

Я полный новичок в программировании и должен создавать и решать загадку в Prolog с помощью GNU Prolog, аналогично загадке Эйнштейна, хотя и менее сложной. Я пытался создать загадку для элементов, содержащихся в следующей таблице .

Мой код до сих пор выглядит так, но я действительно не совсем понимаю, что я делаю неправильно или прямо здесь. Я могу скомпилировать код в GNU Prolog, но он не решит загадки:

middle(M,[_,M,_]).
right(A,B,[[_|A]|B]).
left(A,B,[A|[B|_]]).
run:-
   X = [_,_,_],
   middle([_,brown,_],X),   /* the brown guinea pig lives in the middle of the cage */
   member([brown,carrots,_],X), /* the brown guinea pig loves to eat carrots */
   member([_,salad,giggles],X), /* the salad eating guinea pig giggles */
   right([_,salad,_],[brown,_,_],X),    /* the salad eating guinea pig sits to the right of the brown guinea pig */
   left([black,_,_],[_,_,squeaks],X),   /* the black guinea pig sleeps to the left of the squeaking guinea pig */
   member([black,_,grumbles],X),    /* the black guinea pig grumbles */
   member([grey,_,giggles],X),  /* the grey guinea pig giggles*/
   write(X),nl, /* write out all fur colors */
   write('the '),write(N),write(' guinea pig loves to eat cucumbers'),nl. /* answer to the question */

Я был бы очень признателен за любую помощь, поскольку я совершенно не знаком с этими вещами, но должен найти решение для класса, который я принимаю. Любые советы будут очень полезны. Спасибо!

middle(M, [_,M,_]). right(A,B,X) :- left(B,A,X). left(A,B,X) :- append(_, [A,B | _], X). run :- X = [_,_,_], middle([_ ,brown,_ ],X), /* the brown guinea pig - middle of the cage */ member([_ ,brown,carrots],X), /* the brown guinea pig loves to eat carrots */ member([giggles ,_ ,salad ],X), /* the salad-eating guinea pig giggles */ right( [_ ,_ ,salad ], /* the salad-eating guinea pig sits */ [_ ,brown,_ ],X), /* to the right of the brown guinea pig */ left( [_ ,black,_ ], /* the black guinea pig sleeps to the left */ [squeaks ,_ ,_ ],X), /* of the squeaking guinea pig */ member([grumbles,black,_ ],X), /* the black guinea pig grumbles */ member([giggles ,grey ,_ ],X), /* the grey guinea pig giggles */ member([_ ,EC ,cucumbers],X), /* a guinea pig that loves to eat cucumbers */ X = [[_,A,_],[_,B,_],[_,C,_]], write([A,B,C]), nl, /* write out all fur colors */ write('the '), write(EC), write(' guinea pig loves to eat cucumbers'), nl. /* the answer to the question */

attr(A, [N-V | R]):- memberchk( N-X, A), X = V, attr(A, R). attr(_, []). color(A, B):- attr( A, [color-B]). pigs( Pigs):- length( Pigs,N), N rem 2 =:= 1, Middle is N div 2, /* there _is_ a middle - list length is odd */ nth0( Middle,Pigs,P1), attr( P1, [color-brown]), member( P2, Pigs), attr( P2, [color-brown, eats-carrots]), member( P3, Pigs), attr( P3, [eats-salad, sound-giggles]), right( P4,P4b,Pigs), attr( P4, [eats-salad]), attr( P4b, [color-brown]), left( P5,P5b,Pigs), attr( P5, [color-black]), attr( P5b, [sound-squeaks]), member( P6, Pigs), attr( P6, [color-black, sound-grumbles]), member( P7, Pigs), attr( P7, [color-grey, sound-giggles]), member( P8, Pigs), attr( P8, [eats-cucumbers, color-EatsCucumbers]), length( Furs, N), maplist( color, Pigs, Furs), writeln( Furs), writeln( EatsCucumbers), nl, !.

14 ?- time(( pigs(_P), maplist(writeln,_P), ! )). [black,brown,grey] black [color-black, sound-grumbles, eats-cucumbers|_G1484] [color-brown, eats-carrots, sound-squeaks |_G1424] [eats-salad, sound-giggles, color-grey |_G1463] /* % 287 inferences, 0.000 CPU in 0.030 seconds (0% CPU, Infinite Lips) */ true.

Ответ 1