?- josephus(41, 3, Survivors).
Survivors = [30].
?- josephus(41, 3, 5, Survivors).
Survivors = [3, 15, 21, 30, 34].