prolog - Prolog での算術演算の使用

Question

次のコードがあります。

position(0,0).
move(f):-
    position(X,Y),
    number(X),
    number(Y),
    Y is Y+1,
    X is X+1.

しかし、move(f) を呼び出すと、false が返されます。number(X) と number(Y) は true を返しますが、他の 2 行を追加すると関数が機能しません。どうしたの？