Create an executable file that copies stdin to stdout, or else a script that does so through the invocation of an interpreter at the command line.

 
%File: stdin_to_stdout.pl
:- initialization(main).
 
main :- repeat,
	get_char(X),
	put_char(X),
	X == end_of_file,
	fail.
 