Discussion :

[anisklioui]

j'arrive pas a comprendre la recursivité en prolog concernant les liste les fonction longueur,renverser,nieme,concatenation,...
et quand j recopie la solution et je fait la trace j comprend rien du tout sachant que j'utilise swi-prolog
...... svp aider

[Trap D]

IL faut être un peu plus précis !
Donnez un exemple de code où vous ne comprenez pas, expliquez ce qui pose problème, ce sera plus simple.

[anisklioui]

voila un exemple qui calcul le maximum d'une liste, je veux comprendre coment prolog reflichi c'set a dire la trace. cette solution n'est pas la mienne!

maxlist([X], X).
maxlist([X|R], N):-maxlist(R,M),(M>X,N is M,!; N is X).

[Trap D]

La première clause, maxlist([X], X). signifie que le maximum d'une liste qui n'a qu'un seul élément X est X. C'est ce qu'on appelle le cas de base.
La deuxième clause :

Code :

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

1
2
3
maxlist([X|R], N):-
   maxlist(R,M),
   (M>X,N is M,!; N is X).

Première chose, en Prolog, (et d'ailleurs comme en Lisp), on accède très simplement au premier élément d'une lste et à son reste.
Une liste décrite par [X|R] permet d'accéder au premier élément de la liste X, on dit que X est unifié avec le premier élément, et T est unifié avec le reste de la liste.
Par exemple, si [a,b,c] = [X|R] alors X est unifié avec a et R avec [b,c].
Dans le cas où on a [a] = [X|R] alors X = a et R = [].
Maintenant revenons à la deuxième clause.
Une méthode très courante en Prolog, lorsqu'on travaille sur une liste est de calculer d'abord ce que l'on recherche avec le reste de la liste (maxlist(R,M)) puis de regarder ce que l'on a.
M est le maximum du reste de la liste. On compare donc M avec le premier élément de notre liste X.
Donc si M est plus grand que X, alors le plus grand élément de la liste [X|R] est M (qui est unifié avec le N deuxième argument du prédicat), sinon c'est X.
A noter que la condition est très mal écrite, on devrait plustôt utiliser le -> :

Code :

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

1
2
3
maxlist([X|R], N):-
    maxlist(R,M),
    (M>X ->N = M; N = X).

Ce qui a été écrit (M > X, N is M, !; N is X) se lit "M est plus grand que X est vrai, N is M est vrai, et tous les points de choix possibles dans le prédicat sont supprimés", c'est le ! ou cut, ce qui signifie que la clause suivante N is X ne pourra jamais être réalisée.
Si maintenant M n'est pas supérieur à X, alors on saute après le ';' donc N is X est vrai.
Je te rappelle qu'en Prolog, la virgule signifie "et", le point virgule "ou".

[anisklioui]

merci bcp c'est tres clair maintenant
reste la syntaxe sa veut dir quoi -> ( "alors" c'est ça )
en plus pour faire l'affectation on utilise "is" et non " = "

[Trap D]

c'est le if then else

Code :

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

if M > X then N = M else N = X

donne

Code :

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

M > X -> N = M ; N = X

[anisklioui]

l'affectation et unification c'est quoi la difference

[Trap D]

Il n'y a pas d'affectation en Prolog.
Une variable possède une valeur ou pas. Elle est unifiée ou non unifiée.
Une fais qu'une variable possède une valeur (qu'elle est unifiée donc) elle ne change plus jamais de valeur.
On ne peut donc pas faire comme en C I is I+1, cela échouera toujours.

[anisklioui]

merci