:- phrase(list(Es), Xs0,Xs).
:- phrase(list(Es), Es,Es).
@@	% Es = [].
list([]) -->
	[].
list([E|Es]) -->
	[E],
	list(Es).
-----         n599 ------------------------
Solutions are displayed immediately after they are found.
**NEXT:Now wait a moment.
[logprog|GUPU|UWN]