"Quant à prolog, j'ai pas en tête un quelconque moyen de faire "une boucle". Mais comme dit précédemment, j'ai pas franchement fait de prolog. "
Au hasard (non testé, et mon prolog date un peu, mais ça doit faire l'affaire) :
loop(X) :- Y is X + 1, loop(Y).