/*
     writeln(Xs) :- 
	The list of terms Xs is written on the output stream by side-effect.
*/
     writeln([X|Xs]) :- write(X), writeln(Xs).
     writeln([]) :- nl.

%  Program 12.1   Writing a list of terms