このディレクトリの索引

語候補(2,_,_,尾崎,尾崎).
語候補(3,_前文字列,_後文字列,太加夫,隆大) :-
        sub_atom(_前文字列,_,_,_,尾崎).
語候補(3,_前文字列,_後文字列,太加夫,太加夫) :-
        \+(sub_atom(_前文字列,_,_,_,尾崎)).

文字列から最長一致法を用いて語候補を検索する(_文字列,_前文字列,_適合文字列,_後文字列) :-
        候補文字列長さならび(_候補文字列長さならび),
        文字列から最長一致法を用いて語候補を検索する(_文字列,_候補文字列長さならび,_前文字列,_適合文字列,_後文字列).

文字列から最長一致法を用いて語候補を検索する(_文字列,_候補文字列長さならび,_前文字列,_適合文字列,_後文字列) :-
        sub_atom(_文字列,_開始位置,_長さ,_残り長さ,_適合文字列_1),
        member(_長さ,_候補文字列長さならび),
        文字列の長さと候補文字列を得る(_文字列,_候補文字列長さならび,_長さ,_適合文字列_1,_適合文字列_1_2),
        前文字列と後文字列を得る(_文字列,_開始位置,_長さ,_残り長さ,_前文字列_1,_後文字列_1),
        文字列から最長一致法を用いて語候補を検索する(_候補文字列長さならび,_文字列長により降順整列した語候補ならび,_前文字列_1,_適合文字列_1_2,_後文字列_1,_前文字列,_適合文字列,_後文字列).

文字列から最長一致法を用いて語候補を検索する(_候補文字列長さならび,_前文字列,_適合文字列,_後文字列,_前文字列,_適合文字列,_後文字列).
文字列から最長一致法を用いて語候補を検索する(_候補文字列長さならび,_前文字列_1,_適合文字列_1,_後文字列_1,_前文字列,_適合文字列,_後文字列) :-
        文字列から最長一致法を用いて語候補を検索する(_後文字列_1,_候補文字列長さならび,_前文字列_2,_適合文字列,_後文字列),
        atomic_list_concat([_前文字列_1,_適合文字列_1,_前文字列_2],_前文字列).

候補文字列長さならび(_候補文字列長さならび) :-
        findall(_長さ,(
                    setof(_長さ,語候補(_長さ,_,_,_,_),[_長さ])),
                _候補文字列長さならび_1),
        reverse(_候補文字列長さならび_1,_候補文字列長さならび),!.

'文字列の長さと前文字列・適合文字列・後文字列を得る'(_文字列,_開始位置,_長さ,_残り長さ,_語候補,_前文字列_1,_適合文字列_1,_後文字列_1) :-
        前文字列と後文字列を得る(_文字列,_開始位置,_長さ,_残り長さ,_前文字列_1,_後文字列_1),
        語候補(_長さ,_前文字列,_後文字列,_語候補,_適合文字列_1).

前文字列と後文字列を得る(_文字列,_開始位置,_長さ,_残り長さ,_前文字列_1,_後文字列_1) :-
        sub_atom(_文字列,0,_開始位置,_,_前文字列_1),
        sub_atom(_文字列,_,_残り長さ,0,_後文字列_1).