如何在Prolog中编写谓词按纬度升序排序事实列表？

我来帮你搞定这个Prolog排序的问题！要实现仅按纬度（Latitude）升序排序包含Name、Longitude、Latitude的事实，我们可以利用Prolog的内置排序工具，结合自定义的元组转换来指定排序键。下面是具体的实现步骤和代码：

1. 定义事实结构 #

首先，我们用place/3谓词来存储每个地点的信息，格式为place(Name, Longitude, Latitude)。比如先定义几个示例数据：

place('New York', -74.0060, 40.7128).
place('London', -0.1278, 51.5074).
place('Sydney', 151.2093, -33.8688).
place('Tokyo', 139.6917, 35.6762).

2. 实现排序谓词 #

核心思路是：

• 收集所有地点事实，将每个地点转换为(纬度, 地点)的元组（让纬度成为排序的关键依据）
• 用Prolog内置的sort/2对元组列表排序（默认按元组第一个元素升序）
• 从排序后的元组中提取出原始地点信息

方案一：直接从事实中获取并排序 #

这个谓词会自动收集所有place/3事实，返回按纬度升序排列的列表：

% 谓词：获取所有按纬度升序排序的地点
sort_places_by_latitude(SortedPlaces) :-
    % 收集所有地点，转换为（纬度，地点）元组
    findall((Latitude, place(Name, Lon, Latitude)), place(Name, Lon, Latitude), LatPlacePairs),
    % 按纬度升序排序元组列表
    sort(LatPlacePairs, SortedPairs),
    % 从元组中提取地点部分
    pairs_values(SortedPairs, SortedPlaces).

% 辅助谓词：从（键，值）元组列表中提取值列表
pairs_values([], []).
pairs_values([(_, Value)|Rest], [Value|RestValues]) :-
    pairs_values(Rest, RestValues).

方案二：对给定的地点列表排序 #

如果你已经有一个地点列表（不是直接从事实中读取），可以用这个版本的谓词：

% 对输入的地点列表按纬度升序排序
sort_by_latitude(UnsortedPlaces, SortedPlaces) :-
    % 将每个地点转换为（纬度，地点）元组
    maplist(attach_latitude, UnsortedPlaces, LatPlacePairs),
    % 排序元组列表
    sort(LatPlacePairs, SortedPairs),
    % 提取排序后的地点
    pairs_values(SortedPairs, SortedPlaces).

% 辅助谓词：为地点附加纬度作为排序键
attach_latitude(place(Name, Lon, Lat), (Lat, place(Name, Lon, Lat))).

3. 测试与验证 #

在Prolog解释器中查询：

?- sort_places_by_latitude(S).

会得到如下结果（纬度从低到高排列）：

S = [place('Sydney', 151.2093, -33.8688), place('Tokyo', 139.6917, 35.6762), place('New York', -74.0060, 40.7128), place('London', -0.1278, 51.5074)]

注意事项 #

• 如果需要稳定排序（即纬度相同时保留原始顺序），请用msort/2代替sort/2，因为sort/2会自动去重，而msort/2不会。
• 不要直接对place/3列表使用sort/2，因为Prolog默认会按Name→Longitude→Latitude的顺序比较，无法实现仅按纬度排序的需求。

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