Discussion :

[infamou]

salut , j'ai un prédicat rang_paire(x,y) qui copie les éléments de x qui ont un indice pair et les met dans Y.rang_paire([a,b,c,d,e],L). L=[b,d]
je fait un petit essai
code:

Code :

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

1
2
3
4
5
6
rang_paire([X|Y],L):- vers(1,[X|Y],L).
vers(1,[X],[]).
vers(N,[X|Y],L):- Y\=[],not(paire(N)),N is N+1,vers(N,Y,L).
vers(N,[X|Y],[X|L]):-Y\=[],paire(N),N is N+1,vers(N,Y,L).
paire(0).
paire(X):-X>0,Y is X/2,X is y*2.

le probléme est que l'incrémantation ne marche pas . pourquoi??

[Trap D]

Tu programmes du Prolog comme du C, donc ça ne risque pas de fonctionner, l'affectation n'existe pas en prolog, on parle d'unification.
Il faut que tu comprennes qu'en Prolog une variable dans une règle est ou n'est pas unifiée. Si elle n'est pas unifiée elle peut prendre n'importe quellle valeur, par contre, une fois qu'elle l'est, elle ne peut plus en changer dans la règle.

Donc, forcément, en Prolog, une règle comme X is X + 1,, qu'on écrit fréquemment en C, échouera, il faut obligatoirement deux variables , on écrit X1 is X + 1,.
il faut que tu réécrives tes règle en tenant compte de ce que jeviens de t'écrire.

[infamou]

merci B pour ta réponse , dis moi comment résoudre ce probléme dans cet exo , car je dois tester la valeur de N a chaque fois ,merci d'avance

[Trap D]

A mon avis, tu te compliques un peu la vie.
Tu peux décrire une liste en Prolog sous cette forme [H | T] bien connue, mais aussi [H1, H2 | T], qui permet d'accéder à deux éléments à la fois, au lieu de 1.
Donc comme ça tu peux obtenir tout de suite les éléments de rang pair.
Il faudra bien entendu prévoir deux cas de fin de récursion :
- la liste a un nombre pair d'élément, à la fin elle sera vide
- la liste a un nombre impair d'éléments, à la fin, il n'y aura plus qu'un seul élément.

[infamou]

merci mais c'est pas moi qui complique les choses , car ta méthodes est proposé par mon prof ,et il nous demande de chercher une autre méthodes avec un élément a la fois.j'ai essayé avec ça :

Code :

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

1
2
3
4
rang_paire([X|Y],L):-vers(1,[X|Y],L).
vers(_,[],L).
vers(N,[X|Y],L):-not(paire(N)), N1 is N+1, vers(N1,Y,L) , N is N1.
vers(N,[X|Y],[X|L]):-paire(N), N1 is N+1, vers(N1,Y,L) , N is N1.

mais il ne merche pas ????

[Trap D]

J'ai regardé ton code qui ne peut toujours pas fonctionner puisque tu as écrit dans cette règle

Code :

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

1
2
3
4
5
vers(N,[X|Y],L):-
	not(paire(N)), <== ici N a une certaine valeur
	N1 is N+1, 
	vers(N1,Y,L), 
	N is N1.  <== ici tu tente d'unifier N avec une autre valeur puisuqe N1 est égal à N+1

d'autre part, tu ne donnes pas le code de paire/1.

Soit plus simple, tu as deux cas, que tu codes par un argument 0 ou 1.
Tu auras donc deux règles :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
vers(0,[X|Y],L):-
    % a toi de voir ce que tu veux faire
    .....
    % et tu fais la récursion avec
    vers(1, Y, ...).
 
vers(1,[X|Y],L):-
    % a toi de voir ce que tu veux faire
    .....
    % et tu fais la récursion avec
    vers(0, Y, ...).

Dernière chose, que dois-tu faire lorsque tu as terminé le parcours de la liste ? On utilises souvent en Prolog une liste de travail, qui est unifiée en fin de traitement avec la liste résultat. La liste de travail dans ton cas devra être intialisée avec la liste vide []. Il faut que le prédicat vers possède 4 arguments.