fxd_cell(1,1,1).
%fxd_cell(3,1,3).
%fxd_cell(3,4,4).

len(2).
wid(2).

color(blue).
color(green).

solve(1,3):- write('k'),print(),fail.

solve(N,M):- write(N),write(' '),write(M),nl,
fxd_cell(N,M,L),len(R),N < R,N1 is N+1,assert(cells(N,M,L)),write('1'),
\+solve(N1,M),retract(cells(N,M,_)),!,fail;
fxd_cell(N,M,L),len(R),N == R,wid(C),M =< C,M1 is M+1,assert(cells(N,M,L)),write('2'),
\+solve(1,M1),retract(cells(N,M,_)),!,fail;
len(R),N < R,N1 is N+1,color(Color),assert(cells(N,M,Color)),write('3'),write(' '),write(R),
\+solve(N1,M),retract(cells(N,M,_)),fail;
len(R),N == R,wid(C), M =< C,M1 is M+1,color(Color),assert(cells(N,M,Color)),write('4'),
\+solve(1,M1),retract(cells(N,M,_)),fail.