lezy(a,krol).
lezy(g,dama).
obok(a,b).
obok(a,c).
obok(b,c).
obok(b,d).
obok(d,e).
obok(e,f).
obok(e,b).
obok(e,c).
obok(f,c).
obok(h,f).
obok(h,e).
obok(g,h).
obok(d,g).
obok(i,h).
obok(g,i).
obok(X,Y) :- obok(Y,X).
lezy(X,osiem) :- lezy(Z,dziewiec) ; obok(X,Z).
lezy(X,dziewiec) :- lezy(Z,siedem) ; lezy(Y,krol) ;obok(X,Z) ;obok(X,Y).
lezy(X,as) :- lezy(Z,krol) ; obok(X,Z); lezy(Y,walet);obok(X,Y).
lezy(X,siedem) :- lezy(Y,as) ; obok(X,Y).
lezy(X,walet) :- lezy(Z,dama) ; not(obok(X,Z)) ; lezy(Y,krol); not(obok(X,Y)).
lezy(X,szostka) :- lezy(Z,dama) ;obok(X,Z).