Qui sait faire du prolog !!! ?? merci !

plein de gens. de rien.

toi par exemple ?

Non.
Et tu es censé poser une question, pas recenser les gens qui pourraient y répondre...

Moi, non.  
 
Mais par contre, j'ai mangé une galette des rois hier.  
 
Ca compte ?

bon bon ...
ca, ca inverse une liste !  
 
reverse(Xs,Ys):-  
 reverse(Xs,[],Ys),
reverse([X|Xs],Acc,Ys) :-  
 reverse(Xs,[X|Acc],Ys).
reverse([],Ys,Ys).
 
par exemple: [a,b,c] devient [c,b,a]
par exemple: [[a,b],[c,d]] devient [[c,d],[a,b]]
Or je voudrai que ce la devienne [[d,c],[b,a]] !
il faudrai des appels recursif en plus mais je ne vois pas ou !

Pourquoi ta fonction reverse prend deux arguments ? (et trois pour la partie avec Accu) En fait, a quoi correspond Ys ?

Il y a une alternative à cette définition de reverse sans appel direct de append. On définit un prédicat auxiliaire reverse(Xs,Ys,Zs), vrai si Zs est le résultat de la concaténation de Ys aux éléments de Xs retournée. Il est défini par le programme qui suit.  Le prédicat reverse (3ème) est relié à reverse (2ème) par la première clause du programme.

ok, Ys est le résultat du calcul (c'est vrai que c'est un peu loin le prolog   )
 
Pour ton problème, il suffit de déclarer qqchose comme ça: (j'ai pas de compilo, donc c'est pas garanti )

donc quand tu dois inverser qqchose comme [ [1,2,3], ... ] il faut déjà inverser [1,2,3]  

rien que ces trois ligne la ? ou ton bloc remplac eqqch de particulier ?

non, tu rajoutes avant la ligne reverse([X|Xs],Acc,Ys)

 
 
je vois que d'autres se debrouillent mieux que moi

tu saurais me mettre le code complet ?  
 
et je sais pas comment te joindre sur irc ! je suis avec F-Irc comme prog !

donc:
 
reverse(Xs,Ys):-  
       reverse(Xs,[],Ys).
 
reverse([ [Xt,Xq] |Xs],Acc,Ys) :-  
       reverse( Xt|Xq, [], X ),
       reverse(Xs,[ X|Acc],Ys).  
 
reverse([X|Xs],Acc,Ys) :-  
       reverse(Xs,[X|Acc],Ys).
       reverse([],Ys,Ys).  
 
 
si c'est ca, cela ne fonctionne malheureusement pas ...
 
 

up ... pascal ! revient ! lol tu etait ma seule chance ... snif

La soluce qui marche :
 

mon deuxieme probleme est la creation d'un arbre binaire !
 
g la définition suivante:
 
binary_tree(void).
binary_tree(tree(Element,Left,Right)) :-  
 binary_tree(Left), binary_tree(Right).
 
mais j'aimerais créer un arbre avec des valeur 'a', 'b', 'c' etc pour pouvoir y appliquer des fonctions !