go2 =>
  do_while(0).

do_while(N) :-
  N1 = N + 1,
  println(N1),
  N1 mod 6 != 0,
  do_while(N1).