Does Trealla Prolog detect cyclic lists?

[Jean-Luc-Picard-2021]

Sometimes:

?- X=[a,b|X], length(X, N).
   throw(error(resource_error(finite_memory),length/2)).

But not here:

?- VN = ['U'=X,'V'=Y | VN], write_term(f(X,g(Y,X),Y), [variable_names(VN)]), nl.
^C

Also Ctrl-C doesn't work in the above example.