このディレクトリの索引

'URLのポート番号を取得する'(URL,_ポート番号) :-
    atom_chars(URL,Chars),
    append(L1,['://'|L2],Chars),
    append(L3,['/'|_],L2),
    append(_,[':'|L4],L3),
    concat_atom(L4,_ポート番号).