echo :- repeat_, read(X), echo(X), !.

	echo(X) :- last_input(X), !.
	echo(X) :- write(X), nl, fail.

	repeat_.
	repeat_ :- repeat_.

%	Program 12.8    Basic interactive repeat loop