zebre([anglais=Ang, norvegien=Nor, espagnol=Esp, ukrainien=Ukr,
japonais=Jap,
       bleu=Ble,    rouge=Rou,     vert=Ver,     jaune=Jau,     blanc=Bla,
       cafe=Caf,    the=The,       eau=Eau,      vin=Vin,       lait=Lai,
       kools=Koo,   cravens=Cra,   oldgolds=Old, gitanes=Git,   chester=Che,
       chien=Chi,   escargot=Esc,  renard=Ren,   cheval=Chev,   zebre=Zeb]) :-
    Var = [Ang,Nor,Esp,Ukr,Jap,
           Ble,Rou,Ver,Jau,Bla,
           Caf,The,Eau,Vin,Lai,
           Koo,Cra,Old,Git,Che,
           Chi,Esc,Ren,Chev,Zeb],
    fd_domain(Var,1,5),
    fd_all_different([Ang,Nor,Esp,Ukr,Jap]),
    fd_all_different([Ble,Rou,Ver,Jau,Bla]),
    fd_all_different([Caf,The,Eau,Vin,Lai]),
    fd_all_different([Koo,Cra,Old,Git,Che]),
    fd_all_different([Chi,Esc,Ren,Chev,Zeb]),
    Nor #= 1,       /* Le norvégien habite la première maison */