09/06/18 08:06:43
>>222
% 実は、
英小文字大文字変換(_英小文字,_英大文字) :-
英大文字ならび(LL),append(L1,[_英大文字|_],LL),
英小文字ならび(SL),append(L2,[_英小文字|_],SL),
length(L1,Len),
length(L2,Len).
英大文字ならび(L) :- findall(C,(for(65,N,90),char_code(C,N)),L).
英小文字ならび(L) :- findall(C,(for(97,N,122),char_code(C,N)),L).
% で済むようです。まあ、ペアで定義すればいいだけですが。