compilation - コマンドラインから Prolog にゴールをフィードする

Question

タイトルがすべてを物語っています。プログラムをコンパイルしたい (gplc など)。次に、入力ファイルをそれに渡します。プログラムはファイルを読み取り、計算を行い、出力を別のファイルに書き込みます。C では、次のようにします。

gcc -o prog prog.c
./prog input.txt output.txt

Prologでも同じことができますか? そうである場合、コマンドラインから入力引数を読み取るにはどうすればよいですか?

ありがとう。