Discussion :

[LinuxUser]

Bonjour, je suis entrain de me remettre au Prolog, et en faisant un exercice sur les listes, j'ai fais une erreur mais je n'arrive pas à comprendre pourquoi ce que je fais est faux.

Donc je cherche à définir un prédicat qui donne la longueur d'une liste :

Code :

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

1
2
3
4
5
6
longueur([],0).
longueur([_|L],X):-longueur([L],X1), X is X1+1.
% l'erreur provient des [ ] autour du L, car lorsque j'écris
longueur([_|L],X):-longueur(L,X1), X is X1+1.
% ça marche

Je ne comprend pas pourquoi il ne faut absolument pas mettre de crochets à L qui est une sous-listes (et donc une liste).
Je précise que j'utilise SWI-prolog.
Merci de votre aide.

[Trap D]

Salut

Oui, c'est une erreur courante quand on se met au Prolog.

Que signifie la notation [H|T] ? C'est la notation d'une liste dont le premier élément est H et le reste la LISTE L.

Donc il ne faut pas mettre de crochets lorsque tu veux utiliser la liste L. [L] represente une liste dont le seul élément est la liste L.

Si tu connais un peu Scheme ou LISP, on retrouve la notion de car et cdr.

[LinuxUser]

C'est ce que je me suis dis, mais pourquoi lorsque je demande

Code :

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

longueur([9],X).

Ca ne marche pas.
Je pensais que ça marcherais au moins pour les listes contenant un seul élément.

[KindPlayer]

C'est tout à fait logique. L est une liste, et ta fonction prend en premier argument une liste, donc syntaxiquement c'est correct. [L] signifie une liste contenant L.
L'écriture [_|L] matérialise simplement qu'une liste est composée du premier élément et du reste de la liste (qui est lui meme une liste). Donc quand tu fais ton appel, tu le fais sur le reste de la liste, donc L. Si tu as déja fait du scheme, le L ici correspond au "cdr" et le "_" au "car"

Edit: croisement...

[LinuxUser]

Désolé, je n'ai jamais fais de Scheme.
Mais lorsque j'ai commis mon erreur :

Code :

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

longueur([_|L],X) :- longueur([L],X1), X is X1+1.

Prolog aurait pu (ou du) comprendre :
longueur du liste égal X si longueur d'une liste à 1 élément égal X1 et X = X1 +1.

Enfin je pense.

[Trap D]

C'est ce que je me suis dis, mais pourquoi lorsque je demande

Code :

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

longueur([9],X).

Ca ne marche pas.
Je pensais que ça marcherais au moins pour les listes contenant un seul élément.

Parceque [9] peut s'écrire [9 | []] ! et donc après tu demandes la longueur de [[]].

Comme en Lisp on a
[1, 2, 3] = [1 | [2 | [3 | []]]].
On n'en est pas toujours conscient en Prolog.

[LinuxUser]

Désolé si je suis lourd, mais j'ai bien conscience du fait que [9] <=> [9|[]], et c'est justement pour cela que l'on devrait obtenir 1.
Longueur de [] etant défini (dans le premier fait) comme egal à 0, donc 0+1 nous donne la longueur de [9].
Je suis vraiment désolé de vous emmerder avec ça.
A la prochaine réponse si je n'ai toujours pas compris, je passe mon chemin et j'enchaine sur autre chose.

[Trap D]

J'ai un peu modifié ton code, pour que tu voies ce qui se passe :

Code :

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

1
2
3
4
5
6
longueur([],0).
longueur(L,X):-
	writeln(L),
	read(_),
	L = [_|L1],
	longueur([L1],X1), X is X1+1.

Teste le, tu verras que tu n'arrive jamais à

Code :

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

longueur([], 0).

Attention, Au prompt, il faut terminer la saisie par un point ('.').