Multiplier une liste par 2

Bonjour,
je dois réaliser des petites fonctions en Prolog :
1) dm(R,D,M,Reste) : R*10+D=2*M+Reste
=> ici pas de problème, je l'ai fait et ça marche.

2) A toute liste L, d'entiers compris entre 0 et 9, on associe sa valeur entière v(L) telle que :
v[nk,n(k-1) ... n1, n0] = nk * 10^k + ... + n1*10 + n0
Le but est d'écrire les clauses définissant le prédicat suivant :
dm(R,Ds,Ms) : R est une retenue (0<=R<=1), la division entière par 2 de la valeur entière de la liste Ds a pour quotient la valeur entière de la liste Ms et pour reste 0, ou encore : v([R|Ds])=2*v(Ms).

=> si vous pouviez m'aider pour ça ... merci beaucoup car là je sèche ! :(
=> j'ai un peu de mal à comprendre les listes ... comment ça marche.

Merci.

Citation:

---

Envoyé par mdswiuf

dm(R,Ds,Ms) : R est une retenue (0<=R<=1), la division entière par 2 de la valeur entière de la liste Ds a pour quotient la valeur entière de la liste Ms et pour reste 0, ou encore : v([R|Ds])=2*v(Ms).

---

Salut, déjà il y a une incohérence de définition, car d'après ta déf de v(L), v([R|Ds]) = 2*v(Ms) ne correspond pas à la clause telle que tu la définis en français. En effet, v([R|Ds]) vaut R*10^k+v(Ds) où k est la taille de Ds, je pense qu'il faut plutôt formellement considérer "v([Ds|R])" où R est à la fin de la liste, ou bien tu t'es trompé dans ta définition de v ?
De plus si R=1, et dm(R, Ds, Ms) alors v(Ds)+1 = 2 * v(Ms) ce qui n'est pas vraiment une division euclidienne de v(Ds) par 2 ! Est ce qu'il faut prendre 0>=R>=-1 ou est-ce que j'ai rien compris au problème ?

Si tu as défini v à l'envers en tt cas, et avec R le vrai reste de la div euclidienne, ca doit faire qque chose du genre

Code:

---

1 2 3 4 5 6 7 8

/* définit v */ v([],0). v([X|Tail],Z) :- v(Tail,Y), X <= 9, X >= 0, Z=X+10*Y.   /* définit dm */ dm(0,L,M) :- v(L,X), v(M,Z), X=2*Z. dm(1,L,M) :- v(L,X), v(M,Z), X=2*Z+1.

---

et ce sans aucune garantie, surtout aux bords, car il est bien trop tôt encore pr moi :)

et pour les listes qu'est ce que tu ne comprends pas exactement ?

Merci pour ta réponse :)
en fait, voilà un exemple :
dm(1,2,6) renvoie vrai car :
v([R|Ds]) correspond à 12 ===> R est une "retenue" pas un reste !
2*v(Ms) correspond à 2*6= 12

Ds et Ms ont la même longueur.

en tous les cas merci bcp pour ta réponse.
@+

Je pensais à cette solution :

Code:

---

1 2 3 4 5 6 7

dm(0,Ds,Ms):- Ds is 2*Ms.   dm(1,Ds,Ms):- tmp = [1|Ds], tmp is 2*[Ms].

---

... mais bien entendu ça ne marche pas ... :(

comment faire pour multiplier une liste par deux ?
ou bien, comment faire pour placer un 1 devant une liste ne connaisant pas sa longueur ? et comment transformer cette liste en un entier pour pouvoir par la suite le comparer à un autre entier ?

Merci ! :)

Salut

J'ai trouvé une solution pour valuer une liste mais il y a surement mieux :

Code:

---

1 2 3 4

v1([],0). v1([X|Tail],Z) :- v1(Tail,Y), Z is X+Y*10.   v(X, Y) :- reverse(X,Z), v1(Z,Y).

---

Pour ce qui est "dm", j'ai écrit ça, mais est-ce bien ce que tu veux ?

Code:

---

1 2 3 4

dm(0,Ds,Ms):-v(Ds,X), v(Ms, Z),Y is 2 * Z, X = Y.     dm(1,Ds,Ms):- dm(0, [1|Ds],Ms).

---

Merci bien, j'ai réussi à trouver mais en fait il ne fallait pas coder la fonction v.

Toutes vos aides m'ont bien aidé ! Merci.

Ça m'intéresse de savoir ce que tu as écrit, peux-tu le poster SVP ?
Merci

Désolé ... j'avais pas vu le message ... :oops:
voici ce que j'ai écrit :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15

dm(R,[D],[M]) :- dm(R,D,M,0).   dm(R,[D|Ds],[M|Ms]) :- dm(R,D,M,Reste), dm(Reste,Ds,Ms).   avec dm/4 :   dm(R, D, M, Reste) :- between(0,1,R), between(0,9,D), between(0,9,M), between(0,1,Reste), (R*10 + D =:= 2 * M + Reste).

---

Mais maintenant j'ai un nouveau problème ... je vais le poster dans un nouveau post !

@+ et merci pour votre aide.