map_add1(_,[]). map_add1(X,[Y|TY]):- ( nonvar(X) -> Y is X+1, map_add1(X,TY) ; X is Y-1, map_add1(X,TY) ).
map_add1(_,[]). map_add1(X,[Y|TY]):- ( nonvar(X)-> Y is X+1, map_add1_nv(X,TY) ; X is Y-1, map_add1(X,TY) ). map_add1_nvX(_,[]). map_add1_nvX(X,[Y|TY]):- Y is X+1, map_add1_nvX(X,TY).
map_add1
.