Discussion :

[mun_a]

voici mon code:

Code :

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

1
2
3
4
5
6
7
8
 
 
poids(a,1).  poids(b,3).
 
valeur(X,Y):- poids(X,Y).
 
val([],0).
val([X|Xr],Y):- valeur(X,N), Y is Y+N, val(Xr,Y).

Lorsque j'execute val([a,b],Y) ca me sort l'erreur suivante:

ERROR: is/2: Arguments are not sufficiently instantiated

Que dois je faire?

[Trap D]

Dans

Code :

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

1
2
3
4
val([X|Xr],Y):- 
   valeur(X,N), 
   Y is Y+N, 
   val(Xr,Y).

si tu appelles par val([a,b],Y), Y n'a pas de valeur, n'est pas instancié, donc au premier appel, avec Y is Y + N, Y n'est lié avec rien du tout et Prolog te le fait gentiment savoir.
De toute façon, l'affectation en Prolog n'existe pas comme en C , Java Pascal.
Y is Y + N échouera toujours sauf si N est 0 car les deux Y sont instanciés avec la même valeur.

Pour ce que tu veux faire, tu dois arriver à trouver une valeur de départ, et cette valeur, tu l'a fort bien donnée avec celle de la listre vide.
Donc il faut parcourir ta liste jusqu'à arriver à la liste vide, puis construire ton résultat en revenant de la récursion.

je te laisse réfléchir.

[Trap D]

On peut connaître ta solution ?

[mun_a]

Il fallait commencer par la recurrence...
et je dois dire que c'est par hasard

Code :

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

1
2
3
 
val([],0).
val([X|Xr],Y):- valeur(X,N), val(Xr,Y1), Y is N+Y1.

[Trap D]

Il fallait commencer par la recurrence...
et je dois dire que c'est par hasard

Code :

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

1
2
3
 
val([],0).
val([X|Xr],Y):- valeur(X,N), val(Xr,Y1), Y is N+Y1.

Beaucoup de grandes découvertes sont dues au hasard : pense à la tarte Tatin