# coding=utf-8 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 = {}