move(1).
move(2).
move(3).
move(4).

win(N,M):-move(M), Nx is N-M, (Nx=<0 ; not(win(Nx,_))).