訂正
一つ違い(M,N) :-
  integer(M),!,
  N is M + 1.
一つ違い(M,N) :-
  integer(N),!,
  M is N - 1.