pochodna(X, X, 1) :- !.
pochodna(C, X, 0) :- atomic(C).
pochodna(-Z, X, -C) :- pochodna(Z, X, C).
pochodna(W+Z, X, A+B) :- pochodna(W, X, A), pochodna(Z, X, B).
pochodna(W-Z, X, A-B) :- pochodna(W, X, A), pochodna(Z, X, B).
pochodna(C*Z, X, C*A) :- atomic(C), C \= X, pochodna(Z, X,A), !.
pochodna(W*Z, X, B*W+A*Z) :- pochodna(W, X, A), pochodna(Z, X, B).

test :- pochodna(2*x+3, x, K).