Write a Prolog rule insertion$\_$sort$/2$ which succeeds when the second parameter is a sorted list of the elements of the first list. Use the insertion sort algorithm to sort. For example:

insertion$\_$sort$([1,2,3],[1,2,3]).$

$?-$ insertion$\_$sort$([1,3,9,3,8,2],$X$).$

X $=[1,2,3,3,8,9].$