Maintenant pour associer les lettres à des chiffres utilisez maplist :

maplist(chiffre, [B,L,A,M,O,T]). fait très bien l'affaire.
Plutôt que d'utiliser \= utilisez dif/2 bien plus puissant....