Discussion :

[Seb981]

Bonjour à vous tous,

Je comprend pas comment marche la recursivite avec les listes.
J'ai bien vue l'explication http://pcaboche.developpez.com/artic...s/?page=page_1
mais ce n'est pas expliqué.

j'espere que vous pourrez m'expliquer,

@+ Seb

[je®ome]

Comme tu as vu dans le tuto de pcaboche,
une liste est représentée [PremierElement|ResteDeLaListe]
il suffit de rappeller le prédicat (celui que tu veux appeller sur les éléments de la liste) avec ResteDeLaListe.
ex:

Code :

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

pred([A|R]):- traitment(A),pred(R).

Pense à traîter la liste vide !

Pas sûr pour la syntaxe, mais l'idée est là.

a+

[Seb981]

Merci pour ton message mais par exemple pour :

Code :

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

1
2
member(X,[X|Y]).
member(X,[Y|Ys]):-member(X,Ys).

si on a :

Code :

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

1
2
3
member(X,[1,2,3,4,5]).
member(5,[1,2,5,4,5]).
member(3,[1,2,3,4,5]).

Je ne vois pas comment on peut dérouler cela ?

[pcaboche]

Visiblement, il faut reprendre les bases du langage. C'est par là que ça se passe: http://pcaboche.developpez.com/artic.../presentation/

Ensuite, jète un oeil à la programmation en Prolog:
http://pcaboche.developpez.com/artic...mation_prolog/

A ce moment là, tu seras à même de comprendre le parcours de listes.

Bref, il suffit de suivre les articles dans l'ordre:
http://pcaboche.developpez.com/

[Trap D]

Le problème il est là justement :

Code :

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

1
2
member(X,[X|Y]).
member(X,[Y|Ys]):-member(X,Ys).

Ce code est incorrect.
Il faut ecrire :

Code :

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

1
2
3
4
5
6
7
% Aucun élément n'est membre de la liste vide
% On s'arrête, pas la peine de continuer
member(_,[]) :- !, fail.
% si la liste commence par l'élément cherché, on a gagné, pas la peine de continuer
member(X, [X | _]) :- !.
% sinon, on regarde s'il est élément du reste de la liste
member(X,[_|Ys]):-member(X,Ys).

[pcaboche]

Petite précision: c'est plus une implémentation de memberchk/2 (1 solution si X appartient à la liste, 0 sinon) que de member/2 (autant de solutions que de X dans la liste).

[Trap D]

Tout à fait, je n'ai pas fait attention à ce distingo.