prolog - 如何在序言中按字母*和*数字排序？

Question

我在 Prolog 中有一个列表，如下所示:

[(b,y,3),(p,z,1),(p,y,3),(b,y,2),(p,z,2),(p,x,3),...]

其中第一个元组的第一个元素在 [b,p] 中，第二个在 [x,y,z] ，第三个在 [1,2,3,4,5,6,7] .

如何对这个元组列表进行排序，以便上面的列表示例变为:

[(b,y,2),(b,y,3),(p,x,3),(p,y,3),(p,z,1),(p,z,2),...]

也就是说，b 在 p 之前，x 在 y 和 z 之前，并且数字被排序。

Answer 1

如果您想对 SICStus 和许多其他 Prolog 中的保留重复条目进行排序，请使用 keysort/2 :

msort(Keys, KeysS) :-
   keys_pairs(Keys, Pairs), % pairs_keys(Pairs, Keys)
   keysort(Pairs, PairsS),
   pairs_keys(PairsS, KeysS).

keys_pairs([], []).
keys_pairs([K|Ks], [K-_|Ps]) :-
   keys_pairs(Ks, Ps).

pairs_keys([], []).
pairs_keys([K-_|Ps],[K|Ks]) :-
   pairs_keys(Ps, Ks).

SICStus 和许多其他 Prolog 都需要 keys_pairs/2和 pairs_keys/2进行有效的映射。