необходимо довести код решения задачи до ума

1.Условие задачи:
По кругу расположено N человек. Начиная с некоторой пози¬ции, мы считаем по кругу и каждый М человек выбывает из круга, при этом круг смыкается. Напишите программу, которая определяет порядок, в котором люди выбывают из круга.

2.Текст программы:
работает эта программа успешно, но ровно до тех пор, пока количество людей в круге больше либо равно счетчику.
есть предположение оформить все через остаток от деления, поясню: выписывать из списка того человека, номер которого соответствует остатку от деления счетчика на количество оставшихся в круге человек, за исключением нулевого остатка, в таком случае заменить нулевой остаток единичным. пытался реализовать сию программу но не получается в виду различных причин и проблем. прошу помощи. если как-то что не то описал, прошу прощения, это моя первая тема на этом форуме, ну и пролог нас учат по очень ускоренной программе

Добавлено через 12 часов 59 минут
вот этот код работает неверно, тот, что прикреплен к теме, не работает вообще
domains
list=symbol*
predicates
nondeterm sequence(list,integer)
nondeterm conc(list,list,list)
nondeterm length(list,integer)
nondeterm fragmentation(list,list,list,integer)
clauses
conc([],L,L).
conc([X|L1],L2,[X|L3]):-conc(L1,L2,L3).
length([],0).
length([_|Tail],N):-length(Tail,N1),
N=1+N1.
fragmentation(L,L1,L2,M):-conc(L1,[X|L2],L),
length(L1, N1),
N1=M-1,
write(X," ").
sequence(L,M):- fragmentation(L,L1,L2,M),
conc(L2,L1,Lr),
sequence(Lr,M),!;nl,write(L),nl.

goal
sequence([misha,vasya,valya,petya,anton,maksim,any a],5).

0