prolog - 序言：对某些属性进行排序

Question

我的数据库与此类似：

% happy(Person,Happiness)
happy(1,10).
happy(2,5).
happy(3,8).
happy(4,1).

我想对人们的幸福进行分类。

我编写了以下代码，它可以满足我的要求。然而它对我来说看起来很麻烦。有什么改进吗？

? - sortPeople(Ts).
Ts = [1, 3, 2, 4].

我的解决方案：

getFirst([],R,R).
getFirst([[H1,_]|T],F,R) :-
    append([H1],F,R1),
    getFirst(T,R1,R).

compareHappiness(X, [_,S1], [_,S2]) :- compare(X, S1, S2).

sortPeople(Ts) :-
    findall([X,Y], happy(X,Y), List), 
    predsort(compareHappiness, List, SortedList),
    getFirst(SortedList,[],Ts).

Answer 1

考虑使用更具描述性和声明性的谓词名称，例如：

person_happiness(1, 10).
person_happiness(2, 5).
person_happiness(3, 8).
person_happiness(4, 1).

要按幸福度对人进行排序，请考虑使用内置的keysort/2，它比predsort/3. 您只需要构建键值对，按照惯例使用函子 -/2 ，而不是辅助谓词，请考虑使用 SWI-Prolog 内置插件pairs_values/2和reverse/2：

descending_happiness(Ps) :-
        findall(H-P, person_happiness(P, H), HPs),
        keysort(HPs, HPs1),
        pairs_values(HPs1, Ps1),
        reverse(Ps1, Ps).

示例查询：

?- descending_happiness(Ps).
Ps = [1, 3, 2, 4].

Answer 2

- 这是我得到的：

sort(Rez) :- findall([Happiness,PId],happy(PId,Happiness),List),
             msort(List,LSorted),
             findall(PersonID,member([_,PersonID],LSorted),Sorted),
             reverse(Sorted,Rez).