Prolog Sortierung einer Liste der Struktur, arithmetischer Fehler

Question

Ich habe versucht, eine Liste der Struktur zu sortieren.

Die Struktur ist wie dies

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

Und die Liste wie dies

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

Ich mag die Liste sortieren von größtem Gewicht zu dest wäre. Wie folgt aus:

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

Bisher habe ich dies:

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). 

ich mit einer Liste von zwei Personen versucht haben und es funktioniert:

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

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

Aber wenn ich versuche, mit einem Liste von 3 oder mehr Personen erscheint ein Fehler:

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

no 
?- 

Kann jemand helfen?

Answer 1

So wie ich es sehe Ihre einschub Art in Ordnung ist, mit Ausnahme der zweiten Klausel insertPerson/3:

 
:- 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). 

Beispielabfrage:

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

Answer 2

Der Fehler kommt von der Tatsache, dass die eingebaute in arithmetischen Operatoren wie < und =< nur auf instanzierte Bedingungen arbeiten (das heißt 1 < 2 ist wahr, aber 1 < X wirft die Ausnahme Sie erwähnt). Wenn Sie Einschränkungen verwenden, wird der Code so etwas wie:

:- 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). 

Ich nehme an, Ihr insertInPlace Prädikat smallest_in_rest_vars ähnlich ist, nur ohne die explizite Liste von Variablen Vs, die für die Kennzeichnung nützlich ist (was wir nicht brauchen, in dieser Fall). Wenn ich nicht Einschränkungen verwenden würde, würde ich die folgende Fehlermeldung erhalten, wenn ich mit Ihrer Liste abfragen:

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) ? 

Der Grund dafür ist, dass die Klausel, die im Beispiel markiert ist, wir wissen nichts über die neuen Person N1 noch, was zu einem Vergleich 80 < A1 führt. Ich fand mit Clpfd viel einfacher zu denken, aber wenn Sie uns Ihre insertInPlace geben, könnten wir auch eine Nicht-CLP-Lösung finden.