<div class="notebook">

<div class="nb-cell markdown" name="md1">
# 05.03. direkterNachfolger/2

Schreiben Sie ein 2-stelliges Prädikat `direkterNachfolger/2`, das wahr ist, wenn das zweite Argument um genau 1 größer ist als das erste.
</div>

<div class="nb-cell program" data-background="true" name="p1">
% direkterNachfolger/2
% direkterNachfolger(+X,?Y) Y ist der direkte Nachfolger von X.
direkterNachfolger(X,Y):- 
    write("+++ Dein Programmcode hier! +++").
</div>

<div class="nb-cell query" name="q1">
write("Richtig, direkter Nachfolger von 2 ist 3: "), direkterNachfolger(2,3).
</div>

<div class="nb-cell query" name="q2">
write("Falsch, direkter Nachfolger von 2 ist nicht 1: "), direkterNachfolger(2,1).
</div>

<div class="nb-cell query" name="q4">
write("Falsch, direkter Nachfolger von 2 ist nicht 4: "), direkterNachfolger(2,4).
</div>

<div class="nb-cell query" name="q3">
write("X=4, Was ist der direkte Nachfolger von 3: "), direkterNachfolger(3,X).
</div>

</div>