Recherche:

Reprends ce que tu as écrit :

permut([],[]). (regle 1)
permut(L1,[X|L2]):- (regle 2)
elt(X,L1),
enleve(X,L1,L3),
permut(L3,L2).
Lorsque tu demandes permut([1,2,3],L). que se...

Je ne comprends pas, car chez moi (SWI-Prolog), ça fonctionne correctement :

Je n'étais pas très bien réveillé ce matin :oops:

Oui, ça marche mieux comme cela !
Je préfère tout de même ma version "constructive" avec insert à ta version "destructrice" de supprime.

supprime ne marche que dans un seul sens et il y a...

Je ne sais pas où tu en es.
Pour essayer de t'aider, je pense qu'il serait intéressant que tu écrives un prédicat insert(Elem, Liste, NouvelleListe) qui réussit si NouvelleListe est une liste...

euh :

Il vaut peut-être mieux trouver soi-même la solution (avec ou sans aide), c'est plus utile