czy_wygrywa(0, 1, 1).
czy_wygrywa(1, 0, 1).
czy_wygrywa(1, 1, 0).
czy_wygrywa(0, 0, 2).
czy_wygrywa(0, 2, 0).
czy_wygrywa(2, 0, 0).

incr(X, X1) :- X1 is X+1.
ruch_nieparzysty(X) :- 1 is X mod 2.

czy_wygrywa(A, B, C, N) :- (X is A - 1, X >= 0, incr(N, M), ruch_nieparzysty(N), czy_wygrywa(X, B, C, M));
(X is B - 1, X >= 0, incr(N, M), ruch_nieparzysty(N), czy_wygrywa(A, X, C, M));
(X is C - 1, X >= 0, incr(N, M), ruch_nieparzysty(N), czy_wygrywa(A, B, X, M));
(X is A - 2, X >= 0, incr(N, M), ruch_nieparzysty(N), czy_wygrywa(X, B, C, M));
(X is B - 2, X >= 0, incr(N, M), ruch_nieparzysty(N), czy_wygrywa(A, X, C, M));
(X is C - 2, X >= 0, incr(N, M), ruch_nieparzysty(N), czy_wygrywa(A, B, X, M)).


czy_wygra(A,B,C) :- (czy_wygrywa(A,B,C), writeln('TAK')); writeln('NIE').

?-czy_wygra(3, 1, 1).