# coding=utf-8 id = 123 name = 'isort/2' slug = 'sort a list using insertion sort' description = '''\

isort(L, SL): the list SL contains the elements of L sorted in non-decreasing order. Use the predicate sins/3 to implement insertion sort.

  ?- isort([2,3,1,5,4], L).
    L = [1,2,3,4,5].
''' hint = {}