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