:- phrase(list(Es), Xs0,Xs).
:- phrase(list(Es), Es,Es).
list([]) -->
	[].
list([E|Es]) -->
	[E],
	list(Es).
--**- 18.Bsp. n599 ------------------------

Save, compile, test with .