:- phrase(list(Es), Xs0,Xs).
:- phrase(list(Es), Es,Es).
@@	% Es = [].
@@	! Ausführung dauert zu lang, Antwort unvollständig
list([]) -->
	[].
list([E|Es]) -->
	[E],
	list(Es).
-----         n599 ------------------------
... and timeouts are reported. Similar to the case when we interrupt the sequence of answer substitutions, the system insists that the answer is incomplete.
**NEXT:Go to the next part
**NEXT:To delete the @@-lines press [DO].
[logprog|GUPU|UWN]