Question

我一直试图对结构列表进行排序。

结构就像这样

% person(Name, Weight).
person(tom, 65).
person(dan, 70).
person(mike, 80).

列表就像这样

List = [person(tom, 65), person(dan, 70), person(mike, 80)].

我想将列表从最大权重排序到最小权重。像这样：

SortList = [person(mike, 80), person(dan, 70), person(tom, 65)].

到目前为止，我有这个：

sortListPerson([], []).
sortListPerson([person(NameP, WP)|Rest], Result):-
     sortListPerson(Rest, List),
     insertPerson(person(NameP, WP), List, Result).

insertPerson(person(NameP, WP), [], [person(NameP, WP)]).
insertPerson(person(NameP1, WP1), [person(NameP2, WP2)|Rest],   [person(NameP1, WP1)|List]):-
    integer(WP1),
    integer(WP2),
    WP1 @>= WP2,
    insertPerson(person(NameP2, WP2), Rest, List).
insertPerson(person(NameP1, WP1), [person(NameP2, WP2)|Rest], [person(NameP2, WP2)|List]):-
    integer(WP1),
    integer(WP2),
    WP1 @< WP2,
    insertInPlace(person(NameP1, WP1), Rest, List).

我已尝试过两个人的名单并且有效：

?- sortListPerson([person(a, 10), person(b, 30)], SortList).

SortList = [person(b,30),person(a,10)] ? ;

但是当我尝试使用3个或更多人的列表时出现错误：

?- sortListPerson([person(a, 10), person(b, 30), person(c, 40)], SortList).
{ERROR: arithmetic:>=/2 - expected an arithmetically evaluable expression, found person(a,10)}

no
?-

有人可以帮忙吗？

Answer 1

错误来自于<和=<之类的内置算术运算符仅适用于实例化的术语（即1 < 2为真但1 < X抛出你提到的例外）。如果使用约束，代码将变为：

:- use_module(library(clpfd)).

smallest_in_rest_vars(person(N,A), [person(N,A)], [], [A]).
smallest_in_rest_vars(person(N,A), [person(N1,A1) | Ps],    % <-- this one fails without clpfd
                      [person(N1,A1) | Rs], [A1|Vs] ) :-
    A #=< A1,
    smallest_in_rest_vars(person(N,A), Ps, Rs, Vs).
smallest_in_rest_vars(person(N1,A1), [person(N1,A1) | Ps],
                      [person(N,A) | Rs], [A1|Vs] ) :-
    A #> A1,
    smallest_in_rest_vars(person(N,A), Ps, Rs, Vs).

list_sorted([],[], []).
list_sorted(L, [Smallest|SortedRest], Vars) :-
    smallest_in_rest_vars(Smallest, L, Rest, Vars0),
    list_sorted(Rest, SortedRest, Vars1),
    append(Vars0, Vars1, Vars).

我认为您的insertInPlace谓词与smallest_in_rest_vars类似，只是没有明确的变量列表Vs，这对标记很有用（在这种情况下我们不需要））。如果我不使用约束，当我使用您的列表查询时，我会收到以下错误：

ERROR: =</2: Arguments are not sufficiently instantiated
   Exception: (9) smallest_in_rest_vars(_G400, [person(tom, 65), person(dan, 70), person(mike, 80)], [person(_G406, _G407)], _G462) ?

原因是示例中标记的条款，我们对新人N1一无所知，这导致比较80 < A1。我发现使用clpfd更容易思考，但当你给我们insertInPlace时，我们也可能找到一个非clp解决方案。

Answer 2

除了main.ts的第二个句子外，我看到你的插入排序方式是可以的：

:- use_module(library(clpfd)).

insertPerson(person(N,W), [], [person(N,W)]).
insertPerson(person(N1,W1), [person(N2,W2)|Ps], [person(N1,W1),person(N2,W2)|Ps]) :-
   W1 #>= W2.                                   % If Ps is in order, we're done!
insertPerson(person(N1,W1), [person(N2,W2)|Ps], [person(N2,W2)|Qs]) :-
   W1 #< W2,
   insertPerson(person(N1,W1), Ps, Qs).

示例查询：

?- sortListPerson([person(tom,65),person(dan,70),person(mike,80)], Xs).
Xs = [person(mike,80),person(dan,70),person(tom,65)] ;
false.

Prolog对结构列表进行排序，算术错误

2 个答案: