/*
    echo :- An interactive loop.
*/
    echo :- read(X), echo(X).

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

%  Program 12.4    Basic interactive loop