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.

?- direkterNachfolger(2,3).
true.
?- direkterNachfolger(2,1).
false.
?-direkterNachfolger(2,4).
false.
?- direkterNachfolger(3,X).
X = 4.