I’m searching some alternative version of the method succ/2 in that way the call of succ(X,Y) don’t give some instantiation_error, so it is possible to recursivly call succ(Xi,Xi+1) multiple times first and instantiate the variable later one. Is their a way to do it?
1 Like