ziehe(S,T):- zug(S,T), \+ ziehe(T,_).

zug([X|S],[Y|S]):- gr(X,Y).
zug([X|S],[X|T]):- zug(S,T).

gr(X,Y):- X>0, X1 is X-1, (Y=X1; gr(X1,Y)).


spiel(S):-
  ziehe(S,T),
  write('Computer zieht: '),
  write(T),
  nl,
  write('Wie wollen Sie ziehen? '),
  read(U),
  zug(T,U),
  spiel(U).
