Etwas
public text v1 · immutableunternehmung(X) :-
X = disco;
X = orgel;
X = kino;
X = park.
loesung(A,B,C,D,E,F,G,H) :-
unternehmung(A), unternehmung(B),
unternehmung(C), unternehmung(D), unternehmung(G), unternehmung(H),
unternehmung(E), unternehmung(F),
A = disco, B = G, C \= F, H = kino, F = orgel,
A \= B, A \= C, A \= D,
B \= C, B \=D,
C \= D,
E \= F, E \= G, E \= H,
F \= G, F \= H,
G \= H.