Travailler avec des listes dans Prolog

Question

Tout d'abord laissez-moi vous dire que cela fait partie d'un exercice de classe donné comme devoir. Mais, l'ensemble de la mission est beaucoup plus impliqué que le sujet de cette question. Donc ..

Je cherche dans deux listes données à une prédication. Mon but est de comparer les éléments correspondants dans cette liste et de déterminer si le premier est plus grand. Si c'est le cas, je dois finalement retourner une somme de tous ces termes. Voici ce que j'ai jusqu'à présent:

isumrow([], [], Iresult) :- 
    Iresult is 0. 
isumrow([Hi1row | Ti1row], [Hi2row | Ti2row], Iresult) :- 
    if((Hi1row - Hi2row), IsumDiff, Hi1row), 
    NewIresult is IsumDiff + Iresult, 
    isumrow(Ti1row, Ti2row, NewIresult), 
    Iresult is NewIresult. 

if(Diff, Iresult, Entry) :- 
    Diff > 0,      

    Iresult is Entry. 

if(_, Iresult, _) :- 
    Iresult is 0. 

Pour une raison quelconque, je suis de déconner quelque part dans mes devoirs et je ne suis pas sûr où. Tous les indices seraient appréciés. Encore une fois, cela fait partie d'une mission beaucoup plus vaste que je travaille, mais je ne peux pas l'obtenir. Merci

Answer 1

Je vais essayer d'introduire le moins de changements possible à votre code.

Une chose qui est définitivement fausse est l'endroit où vous essayez de calculer la différence. Prolog effectue des calculs arithmétiques uniquement avec l'opérateur is. Votre code:

if((Hi1row - Hi2row), IsumDiff, Hi1row), 

se contente de transmettre l'expression de la forme (X-Y) au prédicat if, et non pas le calculer. Plus tard à l'intérieur de if, vous ne calculez pas la différence, mais essayez de comparer l'expression à zéro ... qui échoue, car vous ne pouvez comparer les nombres qu'aux nombres, et non aux expressions - et Diff est assigné à une expression.

Il fonctionnerait si vous réécrivez la première clause de se comme suit (même si vous devriez également vous débarrasser de cette is ici):

if((X-Y), Iresult, Entry) :- 
    X > Y, 
    Iresult is Entry. 

De cette façon, votre if prédicat obtiendra X et Y de la expression pour pouvoir les comparer.

De même, vous devez éviter votre prédicat if pour obtenir deux réponses possibles. Votre deuxième clause if sera invoquée même lorsque X> Y: dans le processus de retour arrière. Le plus simple est de mettre ! à la fin de la première clause. Cela signifie: "Jusqu'à présent, j'accepte la première solution dans ce programme et je ne veux pas revenir d'ici pour trouver d'autres solutions". La clause sera modifiée:

if((X-Y), Iresult, Entry) :- 
    X > Y, 
    Iresult is Entry, 
    !. 

Mais ... ce qui est bon dans les petits programmes, et si vous avez besoin réellement faire marche arrière dans d'autres parties de votre programme, cela peut casser. Le moyen le plus propre serait de vérifier l'état correct dans les deux clauses. les récrire à:

if((X-Y), Iresult, Entry) :- 
    X > Y,           
    Iresult is Entry. 

if((X-Y), Iresult, _) :- 
    X =< Y, 
    Iresult is 0. 

Ensuite, vous êtes sûr que si X> Y, la deuxième clause échouera.

Après ces modifications, votre code devrait fonctionner ... Veuillez le signaler si ce n'est pas le cas. Ce ne sera toujours pas très prolog-ish cependant; c'est un peu trop verbeux.

---

Edit:

Ok, je l'écrire d'une manière simple:

sum_if_bigger([], [], 0). 
sum_if_bigger([A|L1], [B|L2], Result) :- 
     sum_if_bigger(L1, L2, Partial), 
     Result is Partial + max(0, A-B). 

...ou d'une manière récursive:

sum_if_bigger_tr(L1, L2, R) :- 
     sum_if_bigger_tr(L1, L2, 0, R). 
sum_if_bigger_tr([], [], R, R). 
sum_if_bigger_tr([A|L1], [B|L2], Partial, Result) :- 
     NewPartial is Partial + max(0, A-B), 
     sum_if_bigger_tr(L1, L2, NewPartial, Result). 

Answer 2

isumrow([], [], Iresult) :- 
    Iresult is 0. 

isumrow([Hi1row | Ti1row], [Hi2row | Ti2row], Iresult) :- 
    if((Hi1row - Hi2row), IsumDiff, Hi1row),    
    NewIresult is IsumDiff + Iresult, 
    isumrow(Ti1row, Ti2row, NewIresult), 
    Iresult is NewIresult. 

if(Diff, Iresult, Entry) :- 
    Diff > 0,            
    Iresult is Entry. 

if(_, Iresult, _) :- 
    Iresult is 0.