GUPU-Tour: Infinite computations

:- phrase(list(Es), Xs0,Xs).
@@	%  Es = [], Xs0 = Xs.
@@	%  Es = [_A], Xs0 = [_A|Xs].
@@	%  Es = [_A,_B], Xs0 = [_A,_B|Xs].
@@	%  Es = [_A,_B,_C], Xs0 = [_A,_B,_C|Xs].
@@	%  Es = [_A,_B,_C,_D], Xs0 = [_A,_B,_C,_D|Xs].
@@	%  Es = [_A,_B,_C,_D,_E], Xs0 = [_A,_B,_C,_D,_E|Xs].
@@	%  Es = [_A,_B,_C,_D,_E,_F], Xs0 = [_A,_B,_C,_D,_E,_F|Xs].
@@	%  Es = [_A,_B,_C,_D,_E,_F,_G], Xs0 = [_A,_B,_C,_D,_E,_F,_G|Xs].  % 0.0 s (0.1 s)
@@	%  Es = [_A,_B,_C,_D,_E,_F,_G,_H], Xs0 = [_A,_B,_C,_D,_E,_F,_G,_H|Xs].  % 0.0 s (0.1 s)
@@	%  Es = [_A,_B,_C,_D,_E,_F,_G,_H,_I], Xs0 = [_A,_B,_C,_D,_E,_F,_G,_H,_I|Xs].  % 0.0 s (0.1 s)
@@	%  Es = [_A,_B,_C,_D,_E,_F,_G,_H,_I,_J], Xs0 = [_A,_B,_C,_D,_E,_F,_G,_H,_I,_J|Xs].  % 0.0 s (0.2 s)
@@	%  Es = [_A,_B,_C,_D,_E,_F,_G,_H,_I,_J,_K], Xs0 = [_A,_B,_C,_D,_E,_F,_G,_H,_I,_J,_K|Xs].  % 0.0 s (0.2 s)
@@	%  Es = [_A,_B,_C,_D,_E,_F,_G,_H,_I,_J,_K,_L], Xs0 = [_A,_B,_C,_D,_E,_F,_G,_H,_I,_J,_K,_L|Xs].  % 0.0 s (0.2 s)
@@	%  Es = [_A,_B,_C,_D,_E,_F,_G,_H,_I,_J,_K,_L,_M], Xs0 = [_A,_B,_C,_D,_E,_F,_G,_H,_I,_J,_K,_L,_M|Xs].  % 0.0 s (0.3 s)
@@	%  Es = [_A,_B,_C,_D,_E,_F,_G,_H,_I,_J,_K,_L,_M,_N], Xs0 = [_A,_B,_C,_D,_E,_F,_G,_H,_I,_J,_K,_L,_M,_N|Xs].  % 0.0 s (0.3 s)
@@	%  Es = [_A,_B,_C,_D,_E,_F,_G,_H,_I,_J,_K,_L,_M,_N,_O], Xs0 = [_A,_B,_C,_D,_E,_F,_G,_H,_I,_J,_K,_L,_M,_N,_O|Xs].  % 0.0 s (0.3 s)
@@	%  Es = [_A,_B,_C,_D,_E,_F,_G,_H,_I,_J,_K,_L,_M,_N,_O,_P], Xs0 = [_A,_B,_C,_D,_E,_F,_G,_H,_I,_J,_K,_L,_M,_N,_O,_P|Xs].  % 0.0 s (0.4 s)
@@	%  Es = [_A,_B,_C,_D,_E,_F,_G,_H,_I,_J,_K,_L,_M,_N,_O,_P,_Q], Xs0 = [_A,_B,_C,_D,_E,_F,_G,_H,_I,_J,_K,_L,_M,_N,_O,_P,_Q|Xs].  % 0.0 s (0.4 s)
@@	%  Es = [_A,_B,_C,_D,_E,_F,_G,_H,_I,_J,_K,_L,_M,_N,_O,_P,_Q,_R], Xs0 = [_A,_B,_C,_D,_E,_F,_G,_H,_I,_J,_K,_L,_M,_N,_O,_P,_Q,_R|Xs].  % 0.0 s (0.5 s)
@@	%  Es = [_A,_B,_C,_D,_E,_F,_G,_H,_I,_J,_K,_L,_M,_N,_O,_P,_Q,_R,_S], Xs0 = [_A,_B,_C,_D,_E,_F,_G,_H,_I,_J,_K,_L,_M,_N,_O,_P,_Q,_R,_S|Xs].  % 0.0 s (0.5 s)
@@	? Weitere Lösungen mit SPACE
:- phrase(list(Es), Es,Es).
list([]) -->
	[].
list([E|Es]) -->
	[E],
	list(Es).
-----         n599 ------------------------
It should be clear by now what is meant by an infinite sequence of answer substitutions.
**NEXT:
Stop it with any key except .
[logprog|GUPU|UWN]