% Fakten fuer Hausaufgabe 3:

in1(1).     % Die linke Tuer fuehrt in die Freiheit: p1.
in2(2).     % Die rechte Tuer fuehrt in die Freiheit: p2.
neg(2,3).   % Die rechte Tuer fuehrt in den Tod: !p2.
and(1,3,4). % [Linke Tuer:] Die linke Tuer fuehrt in die Freiheit,
            % die rechte in den Tod: p1 & !p2.
xor(1,2,5). % [Rechte Tuer:] Eine Tuer fuehrt in die Freiheit,
            % die andere in den Tod: p1 <-> !p2.
xor(4,5,6). % Genau eine der Inschriften ist richtig:
            % (p1 & !p2) <-> !(p1 <-> !p2)
out(6).     % Knoten 6 ist das Ergebnis.


% In diesem Beispiel gibt es keinen "or"-Knoten.
% Damit ist das Praedikat "or" aber undefiniert,
% was zu einem Fehler fuehrt, wenn man es im Auswerter abfragt.
% Deswegen wird es hier noch definiert:

or(1000, 1001, 1002) :- fail.