このディレクトリの索引

'Prologでジェネレータを書いてみる'(L,_生成文字列) :-
        findall(sub_atom(_文字列,_,1,_,_文字),(
                    member(_文字列,L)),
                L1),
        ならび連言項変換(L1,P),
        call(P),
        sub_atomの解を結合する(L1,_生成文字列).

ならび連言項変換([_項の一|_残りならび],_連言項) :-
        _連言項 =.. [',',_項の一,_連言項の二],
        ならび連言項変換(_残りならび,_連言項の二),!.
ならび連言項変換([_項],_項) :- !.

sub_atomの解を結合する(L1,_生成文字列) :-
        findall(A,(
                    member(sub_atom(_,_,_,_,A),L1)),
                L),
        atomic_list_concat(L,_生成文字列).