% wir haben vier Farben:
farbe(rot).
farbe(gelb).
farbe(gruen).
farbe(blau).

% Jedes Land hat eine Farbe
faerbung(L1,L2,L3,L4) :- farbe(L1), farbe(L2), farbe(L3), farbe(L4).

% Aneinander grenzende Laender haben unterschiedliche Farben
korrekteFaerbung(L1,L2,L3,L4) :-
  verschieden(L1,L2),
  verschieden(L1,L3),
  verschieden(L2,L3),
  verschieden(L2,L4),
  verschieden(L3,L4).

% Wann sind zwei Farben (oder andere Objekte) verschieden?
verschieden(rot,gelb).
verschieden(rot,gruen).
verschieden(rot,blau).
verschieden(gelb,rot).
verschieden(gelb,gruen).
verschieden(gelb,blau).
verschieden(gruen,rot).
verschieden(gruen,gelb).
verschieden(gruen,blau).
verschieden(blau,rot).
verschieden(blau,gelb).
verschieden(blau,gruen).
