1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
:- object(sort(_Type)).
:- info([
author is 'Paulo Moura',
version is 1.0,
date is 2000/4/22,
comment is 'List sorting parameterized by the type of the list elements.',
parnames is ['Type'],
source is 'Example adopted from the SICStus Objects documentation.']).
:- uses(list).
:- calls(comparingp).
:- public(sort/2).
:- mode(sort(+list, -list), one).
:- info(sort/2, [
comment is 'Sorts a list in ascending order.',
argnames is ['List', 'Sorted']]).
:- private(partition/4).
:- mode(partition(+list, +nonvar, -list, -list), one).
:- info(partition/4, [
comment is 'List partition in two sub-lists using a pivot.',
argnames is ['List', 'Pivot', 'Lowers', 'Biggers']]).
sort([], []).
sort([P| L], S) :-
partition(L, P, Small, Large),
sort(Small, S0),
sort(Large, S1),
list::append(S0, [P| S1], S).
partition([], _, [], []).
partition([X| L1], P, Small, Large) :-
parameter(1, Type),
( Type::(X < P) ->
Small = [X| Small1], Large = Large1
; Small = Small1, Large = [X| Large1]
),
partition(L1, P, Small1, Large1).
:- end_object.
|
