:- phrase(list(Es), Xs0,Xs).
:- phrase(list(Es), Es,Es).
< @@	% Es = [].
< @@	! Ausführung dauert zu lang, Antwort unvollständig
< Why the loop here?
> Compare this goal to the goal :- phrase(list(Es), Es,Xs), Es = Xs.
:- phrase(list(Es), Es,Xs), Es = Xs.
list([]) -->
	[].
list([E|Es]) -->
	[E],
	list(Es).
----- 18.Bsp. n599 ------------------------
Upon the next loading, the * disappears. In this manner new answers can be distinguished from older ones.
**NEXT:Go back and have some cookies.
**NEXT:Continue with the next part: Partial evaluation.
[logprog|GUPU|UWN]