:- 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)
@@ ? Weitere Lösungen mit SPACE
:- phrase(list(Es), Es,Es).
list([]) -->
[].
list([E|Es]) -->
[E],
list(Es).
----- n599 ------------------------
Ask for more with .
[logprog|GUPU|UWN]