ファイル置換(InStream,OutStream) :-
  see(Instream),tell(OutStream),
  repeat,read_line(X),(X=end_of_file;
  replace(X,Y),concat_atom(Y,Z),
  write(Z),nl,fail),
  seen,told.
replace sa_1 ファイル置換 定義をProlog起動時に予めしておいて、さらに、
以下のようなスクリプトファイルをファイルによる述語定義として実行します。

東京/東京都.
大阪/大阪府.
京都県/京都府.

:- ファイル置換(foo,foo_out).