Discussion :

[wallace27]

Bonjour,

Je pars des deux prédicats suivants :

Code :

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

1
2
concat([],L,L).
concat([X|Xs],Y,[X|Z]):-concat(Xs,Y,Z).

Ensuite, dans prolog, je tape :

Code :

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

| ?- concat(Radical,[e,r],[a,i,m,e,r]).

et j'obtiens :

Code :

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

Radical = [a,i,m]

Pour quelle raison ? Je ne comprends pas pourquoi il ne prend en compte que les trois premières lettres de [a,i,m,e,r]. Pourquoi Radical et [e,r] sont-il purement et simplement ignorés ?


Voici les liens que je vois :



Merci pour votre aide.

[Trap D]

C'est plutôt comme celà que ça fonctionne :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
R1 ==> concat([],L,L).
R2 ==> concat([X|Xs],Y,[X|Z]):-concat(Xs,Y,Z). 
 
 
concat(Radical,[e,r],[a,i,m,e,r]).
 
La regle R1 peut-elle s'appliquer ? Non car [e,r] n'est pas unifiable avec [a,i,m,e,r]
Donc c'est la regle R2 qui s'applique
 
 
concat(Radical,[e,r],[a,i,m,e,r]).
concat([a|Xs], [e,r], [a|[i,m,e,r]]) :- concat(Xs, [e,r], [i,m,e,r]). (1)
 
concat(Xs, [e,r], [i,m,e,r]).
 
La regle R1 peut-elle s'appliquer ? Non car [e,r] n'est pas unifiable avec [i,m,e,r]
Donc c'est la regle R2 qui s'applique
 
concat(Xs, [e,r], [i,m,e,r]).
concat([i|Xs], [e,r], [i|[m,e,r]]) :- concat(Xs, [e,r], [m,e,r]). (2)
 
concat(Xs, [e,r], [m,e,r]).
 
La regle R1 peut-elle s'appliquer ? Non car [e,r] n'est pas unifiable avec [m,e,r]
Donc c'est la regle R2 qui s'applique
 
concat(Xs, [e,r], [m,e,r]).
concat([m|Xs], [e,r], [m |[e,r]]) :- concat(Xs, [e,r], [e,r]). (3)
 
 concat(Xs, [e,r], [e,r]).
 Ici c'est la regle R1 qui s'applique, donc Xs = []; 
 
 Si on remonte
 (3) donne [m] pour le premier argument de concat
 (2) donne [i,m] pour le premier argument de concat
 (1) donne [a, i,m] pour le premier argument de concat

[wallace27]

Encore une fois, un grand merci, aucun de mes profs en programmation/développement ne m'a jamais illustré le processus de manière aussi claire. Je comprends déjà beaucoup mieux maintenant.

Toutefois je me perds à partir de ceci :

Code :

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

1
2
3
4
Si on remonte
(3) donne [m] pour le premier argument de concat
(2) donne [i,m] pour le premier argument de concat
(1) donne [a, i,m] pour le premier argument de concat

On remonte quoi ? Le premier argument de quoi ? De quel concat ?

[Trap D]

Et bien, en (3) on a

concat([m|Xs], [e,r], [m |[e,r]]) :- concat(Xs, [e,r], [e,r]). (3)

On sait par le dernier prédicat que Xs = [], donc [m|[]] donne [m].

En (2)on a

concat([i|Xs], [e,r], [i|[m,e,r]]) :- concat(Xs, [e,r], [m,e,r]). (2)
On sait que Xs = [m], donc [i|[m]] donne [i,m].

etc