blob: d9b3796e865b3e96d8c26abf4bd878c9a3d8f337 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
# coding=utf-8
id = 123
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 = {}
|