Discussion :

[guillaume07]

Salut,

[a, b, c | L2]

comment comprendre cette notation , je connais que celle -ci [H|T] ou [a,b,c]

c'est égale à [a,b,c,[e,f,g]] ?

Merci

[pcaboche]

Ca veut dire: "une liste dont les 3 premiers éléments sont a, b, c et le reste est unifié dans la variable L2" (L2 peut être égal à la liste vide: [])

[guillaume07]

merci. une autre question m'est venu à l'esprit :
avec un code comme le suivant :

Code :

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

1
2
3
4
5
/* effacer tous les N'th element d'une liste */
drop(L1,N,L2) :- drop(L1,N,L2,N).
drop([],_,[],_):-!.
drop([_|Xs],N,Ys,1) :- drop(Xs,N,Ys,N).
drop([X|Xs],N,[X|Ys],K) :- K > 1, K1 is K - 1, drop(Xs,N,Ys,K1).

et un appel à ce prédicat du style drop([a,b,c],2,L3)

Cette ligne là signifie bien que la deuxième liste sera initialiser avec la valeur de X ? et ceci dans la tête de la règle. C'est ce dernier point qui me surprend.

[pcaboche]

Je ne vois pas ce qui te pose problème.

Est-ce que tu as déjà fait du Caml?