Recherche:

et appeler supprimerMur(...,G1,G1) ?

ton problème est au niveau de G3=G1,


je ne vois pas trop le problème... G3 n'est pas utilisé ni défini avant ?

donc G3 is G1 devrait suffire

mauvaise conception...

et cela n'irait pas ?


Pred1(A,B,Liste,ListeModifieeModifiee) :-
Pred2(X,Y,Liste,ListeModifiee)
Pred1(C,D,ListeModifiee,ListeModifieeModifiee).

et A, B ne...

a priori, s'il y a une valeur, c'est une contrainte à laquelle il ne faut pas toucher...

selon moi, tu devrais pouvoir t'en sortir en testant quelles sont les arguments n'ayant pas une valeur......