このディレクトリの索引

search(_文字列,_選択範囲起点,_選択範囲中央,_選択範囲終点,S1,S2,S3,L1,L2,L3) :-
        sub_atom_search(_文字列,_選択範囲起点,_選択範囲中央,_選択範囲終点,S1,S2,S3,L1,L2,L3).

sub_atom_search(_文字列,_選択範囲起点ならび,_選択範囲中央,_選択範囲終点ならび,S1,S2,S3,L1,L2,L3) :-
        list(_選択範囲起点ならび),
        list(_選択範囲終点ならび),
        atom_chars(_選択範囲起点,_選択範囲起点ならび),
        sub_atom_search_list(_文字列,_選択範囲起点ならび,_選択範囲中央,_選択範囲終点ならび,S1,S2,S3,L1,L2,L3).
sub_atom_search(_文字列,_選択範囲起点,_選択範囲中央,_選択範囲終点ならび,S1,S2,S3,L1,L2,L3) :-
        atom(_選択範囲起点),
        list(_選択範囲終点ならび),
        atom_chars(_選択範囲起点,_選択範囲起点ならび),
        sub_atom_search_list(_文字列,_選択範囲起点ならび,_選択範囲中央,_選択範囲終点ならび,S1,S2,S3,L1,L2,L3).
sub_atom_search(_文字列,_選択範囲起点ならび,_選択範囲中央,_選択範囲終点,S1,S2,S3,L1,L2,L3) :-
        list(_選択範囲起点ならび),
        atom(_選択範囲終点),
        atom_chars(_選択範囲終点,_選択範囲終点ならび),
        sub_atom_search_list(_文字列,_選択範囲起点ならび,_選択範囲中央,_選択範囲終点ならび,S1,S2,S3,L1,L2,L3).
sub_atom_search(_文字列,_選択範囲起点,_選択範囲中央,_選択範囲終点,S1,S2,S3,L1,L2,L3) :-
        atom(_選択範囲起点),
        atom(_選択範囲終点),
        atom_chars(_選択範囲起点,_選択範囲起点ならび),
        atom_chars(_選択範囲終点,_選択範囲終点ならび),
        sub_atom_search_list(_文字列,_選択範囲起点ならび,_選択範囲中央,_選択範囲終点ならび,S1,S2,S3,L1,L2,L3).
sub_atom_search(_文字列,_選択範囲起点ならび,_選択範囲中央,_選択範囲終点ならび,S1,S2,S3,L1,L2,L3) :-
        var(_選択範囲起点ならび),
        list(_選択範囲終点ならび),
        sub_atom_search_list(_文字列,_選択範囲起点ならび,_選択範囲中央,_選択範囲終点ならび,S1,S2,S3,L1,L2,L3).
sub_atom_search(_文字列,_選択範囲起点ならび,_選択範囲中央,_選択範囲終点ならび,S1,S2,S3,L1,L2,L3) :-
        list(_選択範囲起点ならび),
        var(_選択範囲終点ならび),
        sub_atom_search_list(_文字列,_選択範囲起点ならび,_選択範囲中央,_選択範囲終点ならび,S1,S2,S3,L1,L2,L3).
sub_atom_search(_文字列,_選択範囲起点ならび,_選択範囲中央,_選択範囲終点,S1,S2,S3,L1,L2,L3) :-
        var(_選択範囲起点ならび),
        atom(_選択範囲終点ならび),
        atom_chars(_選択範囲終点,_選択範囲終点ならび),
        sub_atom_search_list(_文字列,_選択範囲起点ならび,_選択範囲中央,_選択範囲終点ならび,S1,S2,S3,L1,L2,L3).
sub_atom_search(_文字列,_選択範囲起点,_選択範囲中央,_選択範囲終点ならび,S1,S2,S3,L1,L2,L3) :-
        atom(_選択範囲起点),
        var(_選択範囲終点ならび),
        atom_chars(_選択範囲起点,_選択範囲起点ならび),
        sub_atom_search_list(_文字列,_選択範囲起点ならび,_選択範囲中央,_選択範囲終点ならび,S1,S2,S3,L1,L2,L3).
sub_atom_search(_文字列,_選択範囲起点ならび,_選択範囲中央,_選択範囲終点ならび,S1,S2,S3,L1,L2,L3) :-
        var(_選択範囲起点ならび),
        var(_選択範囲終点ならび),
        sub_atom_search_list(_文字列,_選択範囲起点ならび,_選択範囲中央,_選択範囲終点ならび,S1,S2,S3,L1,L2,L3).


sub_atom_search_list(_文字列,_選択範囲起点ならび,_選択範囲中央,_選択範囲終点ならび,S1,S2,S3,L1,L2,L3) :-
        sub_atom(_文字列,_,_,_,S1,S2,S3,L1,L2,L3),
        append(_選択範囲起点ならび,_選択範囲中央ならび,_選択範囲終点ならび,L2),
        \+(append(_,_選択範囲起点ならび,_,_選択範囲中央ならび)),
        \+(append(_,_選択範囲終点ならび,_,_選択範囲中央ならび)),
        atom_chars(_選択範囲中央,_選択範囲中央ならび).


%  sub_atom/10