このディレクトリの索引
http://pc12.2ch.net/test/read.cgi/tech/1279286575/358
#  [1] 授業単元:プログラミング 
#  [2] 問題文(含コード&リンク):入力ファイルと出力ファイル名をコマンドラインから入力してコピーするプログラムを作成せよ。 
#  

program :-
        入力ファイルと出力ファイル名をコマンドラインから入力してコピーする.

入力ファイルと出力ファイル名をコマンドラインから入力してコピーする :-
        user_parameters([_入力ファイル,_出力ファイル]),
        open(_入力ファイル,read,Input,[type(binary)]),
        open(_出力ファイル,write,Output,[type(binary)]),
        コピーする(Input,Output),
        close(Output),
        close(Input).

コピーする(Input,Output) :- 終了(Input),!.
コピーする(Input,Output) :-
        get_byte(Input,C),
        put_byte(Output,C),
        コピーする(Input,Output).

終了(Stream) :- at_end_of_stream(Stream).