en un principio creo que lo tengo, sería algo así???
vuelta(0,[],[]).
%miro de uno en uno lo que hace
%para el caso de la J, incremento el valor del contador A y miro si ya es I, si no, sumo J a J y utilizo la recursividad
vuelta(I,(J,Q,K),(A,B,C)) :- A1=A+1,I<=J,J1=J+J,vuelta(I,(J1,Q,K),(A1,B1,C1)).
%lo mismo para la Q
vuelta(I,(J,Q,K),(A,B,C)) :- B1=B+1,I<=Q,Q1=Q+Q,vuelta(I,(J,Q1,K),(A1,B1,C1)).
%lo mismo para la K
vuelta(I,(J,Q,K),(A,B,C)) :- C1=C+1,I<=K,K1=K+K,vuelta(I,(J,Q,K1),(A1,B1,C1)).
alguien puede ayudarme?