Prolog 对每个位置有两个元素的列表进行排序

Question

我目前正在研究 Prolog 快速排序。

Prolog 中的快速排序规则是：

quick_sort2(List, Sorted) :- 
   q_sort(List, [], Sorted).

q_sort([], Acc, Acc).
q_sort([H|T], Acc, Sorted) :-
   pivoting(H, T, L1, L2), 
   q_sort(L1, Acc, Sorted1),
   q_sort(L2, [H|Sorted1], Sorted).

pivoting(H, [], [], []).
pivoting(H, [X|T], L, [X|G]) :-X =< H, pivoting(H, T, L, G).
pivoting(H, [X|T], [X|L], G) :-X  > H, pivoting(H, T, L, G).

它对如下所示的列表进行排序： [1,2,5,3,4]

但是，我的列表当前采用这种格式，每个位置有 2 个元素：

<代码>[(18427840,wplabuan), (801267209,柔佛), (258368353,吉兰丹), (381775777,吉打), (443783415,沙巴), (188532090,马六甲), (540920146,wpkualalumpur), (380758940,pulaupinang), (285145365,彭亨), (1447204206,雪兰莪), (243650261,negerisembilan), (47633359,perlis), (455013525,perak), (26449297,wpputrajaya), (204709755,terengganu), (498580177,sarawak)]

我可以知道如何对上面的列表进行排序吗使用快速排序？

谢谢。

我希望具有总和和状态（总和，状态）的列表根据总和按升序排序。

Answer 1

目标E1 =< E2 成功当且仅当算术表达式 E1 表示的 number 小于或等于算术表达式E2。例如：

?- 2*3 =< 9-1.
true.

?- 6 =< 3.
false.

但是请注意，运算符 =< 不能用于比较结构：

?- (2,b) =< (3,a).
ERROR: Arithmetic: `b/0' is not a function
...

要比较结构，请使用 术语的标准顺序，您可以使用运算符@=<：

?- (2,b) @=< (3,a).
true.                % because 2 does precede 3 in the standard order of terms

?- (7,a) @=< (5,b).
false.               % because 7 does not precede 5 in the standard order of terms

?- (2,b) @=< (2,c).
true.                % because both structures start with 2 and b does precede c

?- (2,b) @=< (2,a).  
false.               % because both structures start with 2 but b does not precede a

类似地，比较结构时，还可以使用运算符@<、@>、@>=。

因此，要解决该问题，您可以修改代码如下：

pivoting(_, [], [],[]).
pivoting(H, [X|T], L, [X|G]) :- X @=< H, pivoting(H, T, L, G).
pivoting(H, [X|T], [X|L],G)  :- X @>  H, pivoting(H, T, L, G).