transp(A, B) :- dlug(A, N), pusta(N, T, 0), t2(A, T, B).

t1([X|Y], [G|O], [Z|U]) :- append(G, [X], Z), t1(Y, O, U), !.
t1([], [], []) :- !.
t2([L1|G1], L, V) :- t1(L1, L, K), t2(G1, K, V), !.
t2([], L, L).
dlug([G|_], N) :- d11(G, 0, N).
d11([], X, X).
d11([_|T], I, N) :- J is I + 1, d11(T, J, N).

pusta(N, [], N).
pusta(J, [[]|O], I) :- Jn is I + 1, pusta(J, O, Jn), !.

test :- transp([[3, 8, -4], [5, -2, 4]], T)