Discussion :

[sidahmed]

Bonjour,
j'ai pas compris le fonctionnement de ce bout de code :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
 
sum([], 0) :- !.
sum([T|Q], Somme) :-
  sum(Q, S),
  Somme is T + S.
 
writeSum :-
  sum([1,2,3,4,5,6], S),
  write(S), nl.

coment évaluer la tête de la liste puis le reste, j'arrive pas à comprendre comment on a eu la somme = 21.
Merci d'avance.

[Trap D]

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

sum([], 0) :- !.

Cette clause signifie que la valeur associée à la liste vide est 0.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
sum([T|Q], Somme) :-
  sum(Q, S),
  Somme is T + S.

Pour calculer la somme de la liste [T | Q], on ajoute le nombre T à la somme associée à la liste Q.
La somme est construite à l'envers.


Celà fonctionne comme ceci : on monte dans la récursion pour arriver en fin de liste puis on ressort de la récursion en calculant la somme.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
somme([1, 2, 3, 4]) 
 =  1 + somme([2, 3 4])
 =  1 + 2 + somme ([3  , 4])
 = 1 + 2 + 3 + somme([4])
 = 1 + 2 + 3 + 4
 = 1 + 2 +   7
 = 1 +   9
 = 10

[Eusebius]

coment évaluer la tête de la liste puis le reste

C'est le contraire, d'abord le prédicat calcule la somme de toute la liste sauf la tête :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

sum(Q, S),

et ensuite seulement on rajoute le premier élément (avec le "is").

En fait on peut lire le prédicat "sum" comme une spécification (définition) de la somme (c'est ce qu'on appelle la programmation déclarative) :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

sum([], 0) :- !.

La somme des éléments d'une liste vide est zéro.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

sum([T|Q], Somme) :-

"Somme" est la somme d'une liste commençant par T et se continuant avec une liste Q si :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

  sum(Q, S),

Il existe un entier S qui soit la somme des éléments de Q

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

  Somme is T + S.

"Somme" est la somme du premier élément avec S (somme de tous les autres éléments).

Ici on a un appel récursif de "sum", qui s'arrête uniquement lorsqu'on a une liste vide (on est alors dans le premier cas).

[Trap D]

Et un Eusébius grillé , un !

[Eusebius]

Et un Eusébius grillé , un !

Je suis sûr que tu étais plus près du serveur de DVP... tricheur !