insertion_sort([], []).
insertion_sort([H|T], S) :- insertion_sort(T, R), insert(R, H, S).