Discussion :

[PasUnBonProgrammeur]

Bonjour,

alors voilà, j'aimerais construire sur prolog l'ensemble des palindromes sur {a,b}. Mais je rencontre quelques difficultés. Alors de base les mots a et b, représentés respectivement par les listes [a] et [b] appartiennent au langage. Ensuite, si un mot est un palindrome alors si on lui rajoute la même lettre au début et à la fin on obtient un nouveau palindrome. En me basant sur ça j'ai écris ces prédicats :

Code :

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

1
2
3
4
langage6([a]).
langage6([b]).
langage6([a|Sp]):-langage6(S),addlast(a,S,Sp). (1)
langage6([b|Sp]):-langage6(S),addlast(b,S,Sp). (2)

avec addlast une fonction qui sert à ajouter un terme X à une liste L, le résultat est la liste Lp :

Code :

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

1
2
addlast(X,[],[X]).
addlast(X,[H|L],[H|Lp]):-addlast(X,L,Lp).

J'ai plusieurs soucis avec ce code : lorsque je donne à l'interpréteur un mot qui n'est pas un palindrome il ne me retourne pas "false" mais il continue à chercher indéfiniment.
Lorsque je lui demande la liste des palindromes il ne me donne que les mots qui commencent et se terminent par a. ("a,"b","a,a,a","a,b,a","a,a,a,a,a","a,a,b,a,a"). (à noter que si je change la place de 1 et 2 il ne me donne cette fois que les mots qui commence et se terminent par b).

[PasUnBonProgrammeur]

Si vous pouviez me filer un coup de main pour parfaire le code ce serait avec plaisir !

[Trap D]

Bonjour
La question des palindrome en Prolog est classique.
Beaucoup d'approches possibles, il suffit de taper Prolog palindrome sur votre moteur de recherche préféré !
J'ai réécrit votre code langag6 en utilsant ce bon vieux append/3

Code :

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

1
2
3
4
5
langage6([]).
langage6([_]).
langage6(L) :-
    append([X|T], [X], L),
    langage6(T).

PS Vous aviez une erreur dans la definition (testez langage6([a,a]).

La génération des palindromes est assez difficile, essayez ceci, qui utilise les DCG :

Code :

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

1
2
3
4
palindrome --> [].
palindrome --> [a] | [b].
palindrome --> [a], palindrome, [a].
palindrome --> [b], palindrome, [b].

et vous lancez la generation par :

?- phrase(palindrome, T).
T = [] ;
T = [a] ;
T = [b] ;
T = [a, a] ;
T = [a, a, a] ;
T = [a, b, a] ;
T = [a, a, a, a] ;
T = [a, a, a, a, a] ;
T = [a, a, b, a, a] ;
T = [a, a, a, a, a, a] ;
....

Le "problème" de Prolog est que les clauses sont appliquées par Prolog dans l'ordre de leur apparition, d'où l'abondance des a ...

[PasUnBonProgrammeur]

Bonjour,

Merci pour vos précisions et d'avoir décelé mes erreurs. Je viens de tout corriger dans mon travail.