Question about generated variable-names

[flexoron]

v0.9.4-641-gdc05526c

$ scryer-prolog -f
?- use_module(library(lists)).
   true.

?- L=[_|[L|_]], length(L,18).
   L = [_A,L,_B,_C,_D,_E,_F,_G,_H,_I,_J,_K,_L,_M,_N,_O,_P,_Q].
?- L=[_|[L|_]], length(L,19).
   L = [_A,L,_B,_C,_D,_E,_F,_G,_H,_I,_J,_K,_L,_M,_N,_O,_P,_Q,_355]. % Does _355 have a special meaning?

?- L=[_|[_|_]], length(L,19).
   L = [_A,_B,_C,_D,_E,_F,_G,_H,_I,_J,_K,_L,_M,_N,_O,_P,_Q,_R,_S].

[flexoron]

Test inspired by UWN!

?- L=[a,L|_], length(L,19).
   L = [a,L,_A,_B,_C,_D,_E,_F,_G,_H,_I,_J,_K,_L,_M,_N,_O,_P,_Q].
?- L=[1,L|_], length(L,19).
   L = [1,L,_A,_B,_C,_D,_E,_F,_G,_H,_I,_J,_K,_L,_M,_N,_O,_P,_353].