Discussion :

[xeron33]

bonsoir,
J'ai besoin d'écrire un prédicat somme qui vérifie que la liste L3 est la somme, terme à terme des valeurs des listes L1 et L2
Ex :
?- somme([1,2,3],[2,3,5]).
L= [3,5,8]
ok

Pour ma part j'ai écris cette règle :

Code :

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

1
2
 
somme(X,[Y|L1],X2,[Y2|L2],[X3|L3]):-X=Y,X2=Y2,X3 is (X+X2).

qui fonctionne pour les valeurs en tête de liste, mais je n'arrive pas écrire la règle pour la suite de la liste.
Si quelqu'un a une idée merçi
A +

[Trap D]

Ça c'est la technique de base de travail sur les listes.
On va supposer que les deux listes ont la même longueur.

Le cas simple, c'est que si les deux listes sont vides, alors le résultat est une liste vide.

Maintenant, reprenons ce que tu as écrit

Code :

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

somme(X,[Y|L1],X2,[Y2|L2],[X3|L3]):-X=Y,X2=Y2,X3 is (X+X2).

Tu t'es un peu compliqué la vie, on peut écrire exactement la même chose mais plus simplement

Code :

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

1
2
somme([Y1|L1],[Y2|L2],[Y3|L3]):-
      Y3 is (Y1+Y2).

tu auras donc un prédicat somme(L1, L2, LS) qui réussit si LS est la somme terme à terme des listes L1 et L2.

La règle que tu as écrite calcule la somme des premiers éléments des listes.
Il faut donc dans la même règle, appeler le calcul de la somme des autres éléments des listes.

Maintenant, à toi de voir comment tu peux faire cet appel en tenant compte de ma remarque préliminaire sur les listes vides et sur la manière de construire les listes en ajoutant des éléments en tête de listes avec l'opérateur | .

Bon courage.

[xeron33]

Ça c'est la technique de base de travail sur les listes.
On va supposer que les deux listes ont la même longueur.

Le cas simple, c'est que si les deux listes sont vides, alors le résultat est une liste vide.

Maintenant, reprenons ce que tu as écrit

Code :

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

somme(X,[Y|L1],X2,[Y2|L2],[X3|L3]):-X=Y,X2=Y2,X3 is (X+X2).

Tu t'es un peu compliqué la vie, on peut écrire exactement la même chose mais plus simplement

Code :

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

1
2
somme([Y1|L1],[Y2|L2],[Y3|L3]):-
      Y3 is (Y1+Y2).

tu auras donc un prédicat somme(L1, L2, LS) qui réussit si LS est la somme terme à terme des listes L1 et L2.

La règle que tu as écrite calcule la somme des premiers éléments des listes.
Il faut donc dans la même règle, appeler le calcul de la somme des autres éléments des listes.

Maintenant, à toi de voir comment tu peux faire cet appel en tenant compte de ma remarque préliminaire sur les listes vides et sur la manière de construire les listes en ajoutant des éléments en tête de listes avec l'opérateur | .

Bon courage.

salut Trap D, voilà j'ai cogité un peu et voiçi ce que j'ai écris :

Code :

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

1
2
3
4
5
 
somme([],[],[]). % règle 1
somme([X1|L1],[X2|L2],[X3|L3]):-X3 is (X1 + X2). % règle 2
somme([_,X1|L1],[_,X2|L2],[_,X3|L3]):-X3 is (X1+X2),somme([L1],[L2],[L3]).
% règle 3

L a règle 1 reprends ce que tu m'a dis par apport à la somme de listes vides: içi vérité absolue pas de problème.
La règle 2 reprends ce que j'avais écris en simplifiant comme tu me l'as suggéré et au lieu de Y j'ai pris X (elle fonctionne)
La règle 3 là j'ai pensé rajouté X3 égal à X1 + X2 qui se trouvent eux même après la tête de liste, puis je rappelle somme en récursivité mais voilà ça fonctionne pas Prolog me réponds "no" :

| ?- somme([1,2,3],[2,3,5],[L3]).

L3 = 3 ? ;

no

Si tu pouvais me donner un petit coup de pouce pour que j'avance... merçi
A +

[Trap D]

Il te faut deux règles pour calculer la somme élément par élément

Code :

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

somme([],[],[]). % règle 1

ça c'est correct

Code :

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

1
2
somme([X1|L1],[X2|L2],[X3|L3]):-
   X3 is (X1 + X2). % règle 2

ca c'est un bon début mais tu ne peux pas t'arréter la, comment est calculer L3 à partir de L1 et L2 ?

C'est ici que tu dois réfléchir, il faut utiliser quelque part dans la deuxième règle somme(L1, L2, L3), à toi de voir à quel endroit.

Code :

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

1
2
3
4
somme([X1|L1],[X2|L2],[X3|L3]):-
  % ici ....
  X3 is (X1 + X2)
  % ou là .... % règle 2

Code :

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

1
2
 
somme([_,X1|L1],[_,X2|L2],[_,X3|L3]):-X3 is (X1+X2),somme([L1],[L2],[L3]).

ça, c'est inutile

[xeron33]

Il te faut deux règles pour calculer la somme élément par élément

Code :

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

somme([],[],[]). % règle 1

ça c'est correct

Code :

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

1
2
somme([X1|L1],[X2|L2],[X3|L3]):-
   X3 is (X1 + X2). % règle 2

ca c'est un bon début mais tu ne peux pas t'arréter la, comment est calculer L3 à partir de L1 et L2 ?

C'est ici que tu dois réfléchir, il faut utiliser quelque part dans la deuxième règle somme(L1, L2, L3), à toi de voir à quel endroit.

Code :

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

1
2
3
4
somme([X1|L1],[X2|L2],[X3|L3]):-
  % ici ....
  X3 is (X1 + X2)
  % ou là .... % règle 2

Code :

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

1
2
 
somme([_,X1|L1],[_,X2|L2],[_,X3|L3]):-X3 is (X1+X2),somme([L1],[L2],[L3]).

ça, c'est inutile

O k j'ai essayé ce code et ça change rien :

Code :

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

1
2
3
 
somme([],[],[]).
somme([X1|L1],[X2|L2],[X3|L3]):-X3 is (X1 + X2),somme(L1,L2,L3).

Prolog réponds "no"

et ce code :

Code :

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

1
2
3
 
somme([],[],[]).
somme([X1|L1],[X2|L2],[X3|L3]):-somme(L1,L2,L3),X3 is (X1 + X2).

Prolog réponds "no" aussi.

J'ai pensé à rajouter cette 3ème règle bien que tu m'ais dit que ça servait à rien et en effet ça sert à rien !

Code :

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

1
2
3
4
 
somme([],[],[]).
somme([X1|L1],[X2|L2],[X3|L3]):-X3 is (X1 + X2).
somme([_,X1|L1],[_,X2|L2],[_,X3|L3]):-X3 is (X1+X2),somme(L1,L2,L3). (règle 3)

Prolog réponds :
L3 = 3 ? ;

no

Donc là je vois pas quoi faire si tu peux m'aider merçi
A +

[Trap D]

Ce code est correct :

Code :

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

1
2
3
4
somme([],[],[]).
somme([X1|L1],[X2|L2],[X3|L3]):-
  somme(L1,L2,L3),
  X3 is (X1 + X2).

Voilà ce que j'obtiens avec

5 ?- somme([1,2,3],[2,3,5],L).
L = [3, 5, 8] ;
false.

[xeron33]

Ce code est correct :

Code :

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

1
2
3
4
somme([],[],[]).
somme([X1|L1],[X2|L2],[X3|L3]):-
  somme(L1,L2,L3),
  X3 is (X1 + X2).

Voilà ce que j'obtiens avec

Merçi pour ta réponse en fait le problème venait qu'il fallait lancer la requête comme ça comme tu l'as écrit :


somme([1,2,3],[2,3,5],L3).

et non comme je faisais :

| ?- somme([1,2,3],[2,3,5],[L3]).

no
| ?- somme([1,2,3],[2,3,5],[L]).

no

L ou L3 qu'importe... curieusement d'ailleurs car en 3ème liste dans mon code j'avais notifié L3
Merçi pour ton aide pour c'est résolu si t'as d'autres commentaires te gène pas.
A +

[Trap D]

somme([1,2,3],[2,3,5],[L3]).
C'est le genre d'erreur qu'on fait au début, j'ai fait les mêmes...