分支中的Prolog单例变量

Question

我有以下代码：

loc_sucs(R, C, result(A, S)) :-
    loc_sucs(R, C, S), 

    Rm is R - 1, 
    A \= move-north;
    R = 0; 
    o(Rm, C);
    r(Rm, C, S);

    Rp is R + 1, 
    dim(Z, _),
    A \= move-south;
    R = Z; 
    o(Rp, C);
    r(Rp, C, S);

    Cp is C + 1, 
    dim(_, W), 
    A \= move-east;
    C = W; 
    o(R, Cp);
    r(R, Cp, S);

    Cm is C - 1, 
    A \= move-west; 
    C = 0; 
    o(R, Cm);
    r(R, Cm, S).

我正在收到Rm，Cm，Rp，Cp，Z和W的单例警告。如果所有这些变量被多次使用，为什么我会收到此警告？