このディレクトリの索引

% *** user: 'URLの文字列をデコードする' / 2 ***
URLの文字列をデコードする(_エンコードされたURL,_デコードされたURL) :-
    var(_デコードされたURL),
    atom(_エンコードされたURL),
    decompcons(_エンコードされたURL,L),
    replace_query_1(L,L2),
    concat_atom(L2,A),
    atom_to_term(A,_デコードされたURL,_),
    ! .

% replace_query_1/2以下の述語定義はこちらを参照したください