:- lib(fd).

faerbe :-

%Bundesländer
Laender = [BW, BY, BE, BB, HB, HH, HE, MV, NI, NW, RP, SL, SN, ST, SH, TH],

% Domain für Länderfarben, wobei
% 1: blau
% 2: rot
% 3: grün
% 4: gelb
Laender :: 1..4,

BW ## BY,
BW ## HE,
BW ## RP,
BY ## HE,
BY ## TH,
BY ## SN,
BE ## BB,
BB ## MV,
BB ## NI,
BB ## SN,
BB ## ST,
HB ## NI,
HH ## NI,
HH ## SH,
HE ## NI,
HE ## NW,
HE ## RP,
HE ## TH,
MV ## NI,
MV ## SH,
NI ## NW,
NI ## ST,
NI ## SH,
NI ## TH,
NW ## RP,
RP ## SL,
SN ## ST,
SN ## TH,
ST ## TH,

labeling(Laender),

write("BW: "), writeln(BW),
write("BY: "), writeln(BY),
write("BE: "), writeln(BE),
write("BB: "), writeln(BB),
write("HB: "), writeln(HB),
write("HH: "), writeln(HH),
write("HE: "), writeln(HE),
write("MV: "), writeln(MV),
write("NI: "), writeln(NI),
write("NW: "), writeln(NW),
write("RP: "), writeln(RP),
write("SL: "), writeln(SL),
write("SN: "), writeln(SN),
write("ST: "), writeln(ST),
write("SH: "), writeln(SH),
write("TH: "), writeln(TH).