All pastes #948166 Raw Edit

Etwas

public text v1 · immutable
·published 2008-03-18 22:43 UTC
rendered paste body
unternehmung(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.