このディレクトリの索引


奇数に一致させる(_文字列,_前文字列,_適合文字列,_後文字列) :-
        数値候補の取り出し(L,L1,L2,L3,N),
        1 is N mod 2,
        atom_chars(_前文字列,L1),
        atom_chars(_適合文字列,L2),
        atom_chars(_後文字列,L3).

数値候補の取り出し(L,L1,L2,L3,N) :-
        atom_chars(_文字列,L),
        append(L1,L2,L3,L),
        すべてが数字(L2),
        'L1の最後の文字とL2の最初の文字は数字ではない'(L1,L2),
        number_chars(N,L2).

すべてが数字([]).
すべてが数字([A|R]) :-
        数字(A),
        すべてが数字(R).

'L1の最後の文字とL2の最初の文字は数字ではない'(L1,L2) :-
        \+((last(L1,A),数字(A))),
        \+((L=[B|_],数字(B))).

数字(A) :-
        A @>= '0',
        A @=< '9'.