このディレクトリの索引

# 出典 :: C/C++の宿題片付けます 128代目 #559 # [1] 授業単元:アルゴリズム # [2] 問題文(含コード&リンク):url.txtに書き込まれている"ttp://〜をhttp://〜に書き換えresult.txtに出力せよ 'url.txtに書き込まれている"ttp://〜をhttp://〜に書き換えresult.txtに出力せよ' :- 'url.txtファイルを文字ならびとして読み取る'(_文字ならび), '"ttp://〜をhttp://〜に書き換える'(_文字ならび,_書き換えられた文字ならび), 'result.txtに出力'(_書き換えられた文字ならび). 'url.txtファイルを文字ならびとして読み取る'(_文字ならび) :- 'url.txtファイルを一旦コードならびとして読み取る'(_コードならび), コードならびを文字ならびに変換する(_コードならび,_文字ならび). 'url.txtファイルを一旦コードならびとして読み取る'(_コードならび) :- read_file_to_codes('url.txt',_コードならび,[]). コードならびを文字ならびに変換する(_コードならび,_文字ならび) :- findall(_文字,( member(_コード,_コードならび), char_code(_文字,_コード)),_文字ならび). '"ttp://〜をhttp://〜に書き換える'([],[]). '"ttp://〜をhttp://〜に書き換える'(L1,L2) :- '"ttp://があったらhttp://に書き換えて行く'(L1,L2). '"ttp://があったらhttp://に書き換えて行く'(['"',t,t,p,:,/,/|R1],[h,t,t,p,:,/,/|R2]) :- '"ttp://〜をhttp://〜に書き換える'(R1,R2). '"ttp://があったらhttp://に書き換えて行く'([A|R1],[A|R2]) :- '"ttp://〜をhttp://〜に書き換える'(R1,R2). 'result.txtに出力'(_書き換えられた文字ならび) :- 'result.txtに'(_出力), 出力(_出力,_書き換えられた文字ならび). 'result.txtに'(_出力) :- open('result.txt',write,_出力). 出力(_出力,[]) :- colse(_出力). 出力(_出力,[_コード|R]) :- put_char(_コード), 出力(_出力,R).