blob: 71b1a1290674fec6fe0e44a37304b9519dc7146e (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
name = 'isort/2'
slug = 'sort a list using insertion sort'
description = '''\
<p><code>isort(L, SL)</code>: the list <code>SL</code> contains the elements of <code>L</code> sorted in non-decreasing order. Use the predicate <code>sins/3</code> to implement insertion sort.</p>
<pre>
?- isort([2,3,1,5,4], L).
L = [1,2,3,4,5].
</pre>'''
hint = {}
|