prolog：succ（x，y）逃避参数是否足够实例化？

Question

我的程序看起来很少：

test(1, N, M) :-
    succ(N, NN), 
    random(1, 4, X),
    test(X, NN, M).
test(2, N, M) :-
    succ(MM, M),
    random(1, 4, X),
    test(X,N, MM).
test(3, N, M) :-
    N=M.

我现在的目的是计算变量m，以便

test(1,1,M).

在此上下文中进行调用：有意义。我知道在此示例中，我可以轻松地替换

test(2, N, M) :-
    succ(MM, M),
    random(1, 4, X),
    test(X,N, MM).

来

test(2, N, M) :-
    succ(N, NN),
    random(1, 4, X),
    test(X,NN, M).

解决问题。但是在我更复杂的程序中，这是不可能的。而且我没有线索将这个示例替换为另一个示例来排除这种可能性。

所以我的问题： 他们的可能性是以这种方式概括谓词succ谓词，这是可能的。含义succ（x，y）将给出y = x + 1，y在n = m后递归计算y，在中调用测试（3，N，M）。