如何在Prolog中按字符串片段排序列表及按浮点值排序问题

让我来一步步帮你搞定这两个Prolog排序问题：

在Prolog里实现这类排序的核心思路是：先给每个字符串提取出用于排序的关键部分，将原列表转换成「键-原元素」的配对列表，再用Prolog内置的keysort/2排序，最后还原出排序后的原字符串列表。

举个具体例子：假设你有这样的字符串列表 ["user_10_alice", "user_05_bob", "user_20_charlie"]，想要按中间的数字部分排序，实现代码如下：

% 从字符串中提取排序用的键（这里提取下划线分隔的第2个部分，转成数字）
extract_key(String, NumKey) :-
    split_string(String, "_", "", Parts),
    nth1(2, Parts, NumStr),
    number_string(NumKey, NumStr).

% 将原字符串转换成「键-原字符串」的配对
extract_key_pair(Str, Key-Str) :-
    extract_key(Str, Key).

% 从配对中提取原字符串
get_value(_-Value, Value).

% 主排序谓词：输入原列表，输出按指定部分排序后的列表
sort_by_string_part(OriginalList, SortedList) :-
    maplist(extract_key_pair, OriginalList, KeyPairs),
    keysort(KeyPairs, SortedPairs),  % 按键排序
    maplist(get_value, SortedPairs, SortedList).

测试查询：

?- sort_by_string_part(["user_10_alice", "user_05_bob", "user_20_charlie"], Sorted).
Sorted = ["user_05_bob", "user_10_alice", "user_20_charlie"].

你可以根据自己的字符串格式调整extract_key/2的实现，比如如果是按前缀、后缀或者其他规则提取关键部分，修改字符串拆分和提取逻辑即可。

首先我默认你的列表元素是「浮点值+字符串」的复合结构（比如123.1234-abc或者自定义的pair(123.1234, abc)），这类场景用keysort/2是最直接有效的方案，比sort/4更简洁不易出错。

情况1：元素是Float-Str的配对结构 #

如果你的列表是[123.1234-abc, 321.321-qwe]这种形式，排序代码如下：

sort_by_float(List, SortedList) :-
    % 将每个元素转换成「浮点值-原元素」的配对
    maplist(float_key_pair, List, KeyPairs),
    keysort(KeyPairs, SortedPairs),  % 按浮点键排序
    % 提取排序后的原元素
    maplist(extract_original, SortedPairs, SortedList).

% 生成键值配对
float_key_pair(Float-Str, Float-(Float-Str)).
% 从配对中取出原元素
extract_original(_-Original, Original).

测试查询：

?- sort_by_float([321.321-qwe, 123.1234-abc], Sorted).
Sorted = [123.1234-abc, 321.321-qwe].

情况2：元素是自定义复合项（比如pair(Float, Str)） #

如果你的元素是自定义的pair(123.1234, abc)，只需要调整键值配对的提取逻辑：

sort_by_float(List, SortedList) :-
    maplist(float_key_pair, List, KeyPairs),
    keysort(KeyPairs, SortedPairs),
    maplist(extract_original, SortedPairs, SortedList).

float_key_pair(pair(Float, Str), Float-pair(Float, Str)).
extract_original(_-Original, Original).

关于sort/4无效的说明 #

你之前用sort/4没成功，大概率是因为没正确指定比较谓词。如果一定要用sort/4，需要先定义一个比较浮点值的谓词，比如：

% 定义比较规则：按浮点值的自然顺序比较
compare_float(Order, pair(F1, _), pair(F2, _)) :-
    compare(Order, F1, F2).

然后调用：

?- sort([predicate(compare_float)], [pair(321.321, qwe), pair(123.1234, abc)], Sorted, _).
Sorted = [pair(123.1234, abc), pair(321.321, qwe)].

但显然keysort的方式更直观，不需要额外定义比较谓词，所以更推荐使用。

内容的提问来源于stack exchange，提问作者YuanZheng Hu